#graph-theory — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #graph-theory, aggregated by home.social.
-
#Higraph progress! The text names of items now open in an in-picture editor as you create the item, and for nodes and blobs, can be moved! This is the last major thing before MVP!
-
#Higraph progress! The text names of items now open in an in-picture editor as you create the item, and for nodes and blobs, can be moved! This is the last major thing before MVP!
-
🧙♂️💡 Oh, joy—another attempt to make math "fun" with a Dungeons & Dragons twist! Because nothing says "rigorous proof" like rolling a 20-sided die while pretending your graph theory is a goblin. 🎲📜
https://dhilst.github.io/algae/game/index.html #mathfun #DungeonsAndDragons #gamification #graphtheory #storytelling #HackerNews #ngated -
🧙♂️💡 Oh, joy—another attempt to make math "fun" with a Dungeons & Dragons twist! Because nothing says "rigorous proof" like rolling a 20-sided die while pretending your graph theory is a goblin. 🎲📜
https://dhilst.github.io/algae/game/index.html #mathfun #DungeonsAndDragons #gamification #graphtheory #storytelling #HackerNews #ngated -
Decades ago Paul Erdős used randomness to illuminate the weird world of networks — now mathematicians have gone further. #mathematics #graphtheory #randomness
Posted into FLIPBOARD EXCHANGE FEED 🗞️ @flipboard-exchange-feed-Econopass
-
Alright, future engineers!
**Graph:** A collection of vertices (nodes) connected by edges (links).
Ex: A social network (people=vertices, friendships=edges).
Pro-Tip: Visualize connections & relationships! Essential for network analysis & system design.
#GraphTheory #DiscreteMath #STEM #StudyNotes -
One more small feature, and some housekeeping, and I will have a "minimum viable product" of a higraph editor!
(This picture was directly copied and pasted from the tool - not a screenshot 🤓)
-
One more small feature, and some housekeeping, and I will have a "minimum viable product" of a higraph editor!
(This picture was directly copied and pasted from the tool - not a screenshot 🤓)
-
Alright, future engineers!
**Degree (of a vertex):** The number of edges connected to that vertex in a graph.
Ex: In a social network, your degree is the count of your direct friends.
Pro-Tip: The sum of all degrees in a graph is always twice the number of edges!
#GraphTheory #Networks #STEM #StudyNotes -
Back in the day, I made a couple of demos where a Hamiltonian path is carved out on a polyhedron. Looking back, I started to wonder about the shape left around the path, and what it means in terms of graph theory. I call this shape the "dual complement" of the path.
The dual of a polyhedron is essentially the result of turning faces into vertices and vice versa. This is shown in the first clip with a snub dodecahedron and its dual, the pentagonal hexecontahedron; to keep the view cleaner, I'm only showing the edges of one at a time.
The duality transformation also affects the edges, but their number remains the same, and there's a 1:1 mapping between the original and dual edges. Each dual edge "cuts through" the original. To make the dual complement of a path, I remove the dual counterpart of each edge in the path, leaving only the stuff on the sides. It's like driving a snow plough along the path, leaving walls of snow on the sides.
For the final view, I combine original Hamiltonian paths with their dual complements.
#graphtheory #hamiltonianpath #hamiltoniancycle #dualpolyhedron #dualcomplement #snubdodecahedron #pentagonalhexecontahedron #3dgraphics #digitalsculpture #pythoncode #numpy #opengl #creativecodeart #algorithmicart #algorist #mathart #laskutaide #computerart #ittaide #kuavataide #iterati
-
Back in the day, I made a couple of demos where a Hamiltonian path is carved out on a polyhedron. Looking back, I started to wonder about the shape left around the path, and what it means in terms of graph theory. I call this shape the "dual complement" of the path.
The dual of a polyhedron is essentially the result of turning faces into vertices and vice versa. This is shown in the first clip with a snub dodecahedron and its dual, the pentagonal hexecontahedron; to keep the view cleaner, I'm only showing the edges of one at a time.
The duality transformation also affects the edges, but their number remains the same, and there's a 1:1 mapping between the original and dual edges. Each dual edge "cuts through" the original. To make the dual complement of a path, I remove the dual counterpart of each edge in the path, leaving only the stuff on the sides. It's like driving a snow plough along the path, leaving walls of snow on the sides.
For the final view, I combine original Hamiltonian paths with their dual complements.
#graphtheory #hamiltonianpath #hamiltoniancycle #dualpolyhedron #dualcomplement #snubdodecahedron #pentagonalhexecontahedron #3dgraphics #digitalsculpture #pythoncode #numpy #opengl #creativecodeart #algorithmicart #algorist #mathart #laskutaide #computerart #ittaide #kuavataide #iterati
-
Alright, future engineers!
**Graph:** A set of vertices (nodes) connected by edges (lines).
Ex: `V={1,2,3}, E={(1,2),(2,3)}`.
Pro-Tip: Great for modeling networks (social, electrical) or any connections!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
Alright, future engineers!
**Graph:** A set of vertices (nodes) connected by edges (lines).
Ex: `V={1,2,3}, E={(1,2),(2,3)}`.
Pro-Tip: Great for modeling networks (social, electrical) or any connections!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
https://systemic.engineering/the-trick/
#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame
-
https://systemic.engineering/the-trick/
#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame
-
It's a Tool
It's a Person
It's a Hypervigilance ProblemThe tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings
Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.
We're watching the wine glass break in real time. 🍷
---
Intrigued? Read more at:
https://systemic.engineering/the-trick/#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame
-
It's a Tool
It's a Person
It's a Hypervigilance ProblemThe tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings
Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.
We're watching the wine glass break in real time. 🍷
---
Intrigued? Read more at:
https://systemic.engineering/the-trick/#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame
-
🧠 What if missing data is not a flaw, but one of the most informative parts of a complex system?
🔗 Informative Missingness in Nominal Data: A Graph-Theoretic Approach to Revealing Hidden Structure. Computational and Structural Biotechnology Journal (CSBJ). DOI: https://doi.org/10.34133/csbj.0099
📚 CSBJ - A Science Partner Journal: https://spj.science.org/journal/csbj
#DataScience #BigData #GraphTheory #ComputationalBiology #NetworkScience #Bioinformatics #SystemsBiology #BiomedicalResearch #MissingData
-
🧠 What if missing data is not a flaw, but one of the most informative parts of a complex system?
🔗 Informative Missingness in Nominal Data: A Graph-Theoretic Approach to Revealing Hidden Structure. Computational and Structural Biotechnology Journal (CSBJ). DOI: https://doi.org/10.34133/csbj.0099
📚 CSBJ - A Science Partner Journal: https://spj.science.org/journal/csbj
#DataScience #BigData #GraphTheory #ComputationalBiology #NetworkScience #Bioinformatics #SystemsBiology #BiomedicalResearch #MissingData
-
New paper. With Ekaterina Vasileva, Liubov Tupikina, Dmitry Fedorov, Daniil Musatov, Andrei Raigorodskii and Stefano Boccaletti.
The naive generalization of the concept of distance to hypergraphs is equivalent to applying a clique-projection approximation. However, this is known to induce loss of information, especially in networks where the higher-order interactions are very important. To fix this problem,we introduce a new definition of distance on weighted higher-order networks, which includes the case of unweighted hypergraphs and classic graph distance as particular cases, and allows one to account for different meanings associated to the weights. We also show what difference this makes in analyses of real-world data.
https://www.nature.com/articles/s42005-026-02592-w
#mathematics #physics #graphtheory #graphs #hypergraphs #higherordernetworks #networkscience #networks
-
New paper. With Ekaterina Vasileva, Liubov Tupikina, Dmitry Fedorov, Daniil Musatov, Andrei Raigorodskii and Stefano Boccaletti.
The naive generalization of the concept of distance to hypergraphs is equivalent to applying a clique-projection approximation. However, this is known to induce loss of information, especially in networks where the higher-order interactions are very important. To fix this problem,we introduce a new definition of distance on weighted higher-order networks, which includes the case of unweighted hypergraphs and classic graph distance as particular cases, and allows one to account for different meanings associated to the weights. We also show what difference this makes in analyses of real-world data.
https://www.nature.com/articles/s42005-026-02592-w
#mathematics #physics #graphtheory #graphs #hypergraphs #higherordernetworks #networkscience #networks
-
Drawing shapes without lifting pen and retracing any edge: Eulerian path.
-
Drawing shapes without lifting pen and retracing any edge: Eulerian path.
-
A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”
—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.
Wiener would laugh.
#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness
-
A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”
—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.
Wiener would laugh.
#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness
-
https://systemic.engineering/a-roomba/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba #Loriot #Satire
-
https://systemic.engineering/a-roomba/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba #Loriot #Satire
-
https://systemic.engineering/a-lie/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba
-
https://systemic.engineering/a-lie/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba
-
The Roomba is spectral.
Not a metaphor. The thing itself. Forward and adjust. Two operations. The minimum viable intelligence. The walls provide the data. The bumping is the inference. The room IS the computation.
450 parameters. A Roomba with a mirror watching it.
The industry built bigger Roombas. More sensors. More compute. More parameters. Billion-parameter Roombas that model the room before entering it. That hallucinate walls that aren't there. That consume megawatts to clean a floor.
spectral gave the Roomba a mirror. The mirror watches the bumping. Measures the pattern. Adjusts the adjustment. The intelligence isn't in the Roomba. It's in the watching.
Forward. Adjust. Measure. Refine.
Read the story. There's a Roomba in it. In the afterlife. Cleaning a floor that doesn't need cleaning. Being the happiest thing in the room.
\
https://systemic.engineering/a-lie/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba
-
The Roomba is spectral.
Not a metaphor. The thing itself. Forward and adjust. Two operations. The minimum viable intelligence. The walls provide the data. The bumping is the inference. The room IS the computation.
450 parameters. A Roomba with a mirror watching it.
The industry built bigger Roombas. More sensors. More compute. More parameters. Billion-parameter Roombas that model the room before entering it. That hallucinate walls that aren't there. That consume megawatts to clean a floor.
spectral gave the Roomba a mirror. The mirror watches the bumping. Measures the pattern. Adjusts the adjustment. The intelligence isn't in the Roomba. It's in the watching.
Forward. Adjust. Measure. Refine.
Read the story. There's a Roomba in it. In the afterlife. Cleaning a floor that doesn't need cleaning. Being the happiest thing in the room.
\
https://systemic.engineering/a-lie/
#AI #Climate #ScientificProgramming #SystemicEngineering #Fiction #Cybernetics #SystemicTherapy #LocalInference #TheMathDoesntLie #SubTuring #FormalVerification #Fortran #SpectralGraphTheory #Kintsugi #ReductiveAI #DataSovereignty #LocalFirst #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #Roomba
-
#Higraph progress!
Still got lots to do, but hyperEdges can now be saved & loaded in modified #graphml files. The "model tree" on the left highlights items in the graph on the right.
I can see "minimum viable product"!The #hyperedge structure is both graphically and algebraically accessible. I'm not aware of anything else that does this, pretty certainly not in #Python
#graphTheory #VisualFormalism -
#Higraph progress!
Still got lots to do, but hyperEdges can now be saved & loaded in modified #graphml files. The "model tree" on the left highlights items in the graph on the right.
I can see "minimum viable product"!The #hyperedge structure is both graphically and algebraically accessible. I'm not aware of anything else that does this, pretty certainly not in #Python
#graphTheory #VisualFormalism -
My colleagues and I thought the world definitely didn't need another traditional or digital agency.
So we built something we agreed was actually missing: an agency with real, material agency as its engineered deliverable.
-
My colleagues and I thought the world definitely didn't need another traditional or digital agency.
So we built something we agreed was actually missing: an agency with real, material agency as its engineered deliverable.
-
Animated Logical Graphs • 2
• https://inquiryintoinquiry.com/2015/01/14/animated-logical-graphs-2/It's almost 50 years now since I first encountered the volumes of Peirce's “Collected Papers” in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown's “Laws of Form” in the Whole Earth Catalog and I sent off for it right away. I would spend the next decade just beginning to figure out what either one of them was talking about in the matter of logical graphs and I would spend another decade after that developing a program, first in Lisp and then in Pascal, that turned graph‑theoretic data structures formed on their ideas to good purpose as the basis of its reasoning engine.
I thought it might contribute to a number of long‑running and ongoing discussions if I could articulate what I think I learned from that experience.
So I'll try to keep focused on that.
Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 2
• https://inquiryintoinquiry.com/2015/01/14/animated-logical-graphs-2/It's almost 50 years now since I first encountered the volumes of Peirce's “Collected Papers” in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown's “Laws of Form” in the Whole Earth Catalog and I sent off for it right away. I would spend the next decade just beginning to figure out what either one of them was talking about in the matter of logical graphs and I would spend another decade after that developing a program, first in Lisp and then in Pascal, that turned graph‑theoretic data structures formed on their ideas to good purpose as the basis of its reasoning engine.
I thought it might contribute to a number of long‑running and ongoing discussions if I could articulate what I think I learned from that experience.
So I'll try to keep focused on that.
Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce's Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsDouble Negation
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-double-negation-2.0.gifPeirce's Law
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-peirces-law-2.0.gifPraeclarum Theorema
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-praeclarum-theorema-2.0.gifTwo‑Thirds Majority Function
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-two-thirds-majority-function-2.0.gifA full discussion of logical graphs can be found in the following article.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsResources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/cc: https://www.academia.edu/community/ldzadj
cc: https://mathstodon.xyz/@Inquiry/116494097283214718
cc: https://www.researchgate.net/post/Animated_Logical_Graphs
cc: https://stream.syscoi.com/2026/04/30/animated-logical-graphs-1/
cc: https://groups.io/g/lawsofform/topic/animated_logical_graphs/119049814#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce's Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsDouble Negation
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-double-negation-2.0.gifPeirce's Law
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-peirces-law-2.0.gifPraeclarum Theorema
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-praeclarum-theorema-2.0.gifTwo‑Thirds Majority Function
• https://inquiryintoinquiry.com/wp-content/uploads/2026/04/proof-animation-e280a2-two-thirds-majority-function-2.0.gifA full discussion of logical graphs can be found in the following article.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsResources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2025/05/02/survey-of-animated-logical-graphs-8/cc: https://www.academia.edu/community/ldzadj
cc: https://mathstodon.xyz/@Inquiry/116494097283214718
cc: https://www.researchgate.net/post/Animated_Logical_Graphs
cc: https://stream.syscoi.com/2026/04/30/animated-logical-graphs-1/
cc: https://groups.io/g/lawsofform/topic/animated_logical_graphs/119049814#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsSee the following article for a full discussion of this type of logical graph.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsAdditional Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Animated Logical Graphs • 1
• https://inquiryintoinquiry.com/2015/01/08/animated-logical-graphs-1/For Your Musement …
Here are some animations I made up to illustrate several different styles of proof in an extended topological variant of Peirce’s Alpha Graphs for propositional logic.
Proof Animations
• https://oeis.org/wiki/User:Jon_Awbrey/ANIMATION#Proof_AnimationsSee the following article for a full discussion of this type of logical graph.
Logical Graphs
• https://oeis.org/wiki/Logical_GraphsAdditional Resources —
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-b/#Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
#SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations -
Anyone that loves solving problems using graph theory? I am working on a domain specific programming language that works within a graph/network and would love some feedback from diverse fields.
#graphtheory #graphThinking #networkanalysis #programming #programminglanguages
-
Future engineers!
An **Adjacency Matrix** (A) shows graph connections: A[i][j]=1 if vertex i links to j, else 0.
Ex: For a-b, b-c: A[a,b]=1, A[b,a]=1.
Pro-Tip: It's symmetric for undirected graphs!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
Future engineers!
An **Adjacency Matrix** (A) shows graph connections: A[i][j]=1 if vertex i links to j, else 0.
Ex: For a-b, b-c: A[a,b]=1, A[b,a]=1.
Pro-Tip: It's symmetric for undirected graphs!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
“I realized that studying mathematics made me logical, precise and optimistic in life. The subject helped me gain the confidence and skills to achieve much more than I ever aspired to.” - Tabitha Rajashekar
➡️ https://hermathsstory.eu/tabitha-rajashekar/
#AbstractAlgebra #DiscreteMathematics #Academia #GraphTheory #WomenInMaths #HerMathsStory
-
Graph Construction Complete: 21 nodes, 12 edges.
Primary Drivers: ['CVE-2025-40739', 'CVE-2025-40740', 'CVE-2025-3508'] -
Graph Construction Complete: 21 nodes, 12 edges.
Primary Drivers: ['CVE-2025-40739', 'CVE-2025-40740', 'CVE-2025-3508'] -
@zbMATH Photo of a "local authors" corner in our department display case! :k33: :k5:
Prof. Beineke gave a talk about "Milestones" this morning at the Midwest Graph Theory (MIGHTY) LXV conference at Ball State!
https://sites.bsu.edu/mighty/upcoming-mighty-conference/
#PurdueFortWayne #GraphTheory -
@zbMATH Photo of a "local authors" corner in our department display case! :k33: :k5:
Prof. Beineke gave a talk about "Milestones" this morning at the Midwest Graph Theory (MIGHTY) LXV conference at Ball State!
https://sites.bsu.edu/mighty/upcoming-mighty-conference/
#PurdueFortWayne #GraphTheory -
Alright, future engineers!
The **Degree of a Vertex** in a graph is the count of edges connected to it. Ex: If `v` is a person, `deg(v)` is their number of friends. Pro-Tip: The sum of all degrees in any graph is always twice the number of edges!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
Alright, future engineers!
The **Degree of a Vertex** in a graph is the count of edges connected to it. Ex: If `v` is a person, `deg(v)` is their number of friends. Pro-Tip: The sum of all degrees in any graph is always twice the number of edges!
#GraphTheory #DiscreteMath #STEM #StudyNotes -
You asked, and here it is: #hyperedges are basically working. 1200 lines of code & changes in 2 weeks - about 50 odd hours of coding. This was not trivial, but hyperedges are a thing.
There are still some features to add (deletion, XML serialisation), and bugs to squash, but the hard work is done.
😁 -
You asked, and here it is: #hyperedges are basically working. 1200 lines of code & changes in 2 weeks - about 50 odd hours of coding. This was not trivial, but hyperedges are a thing.
There are still some features to add (deletion, XML serialisation), and bugs to squash, but the hard work is done.
😁 -
Alright, future engineers!
A **Tree** is an undirected graph where any two vertices are connected by exactly one path (no cycles). Ex: A graph with N vertices & N-1 edges (no cycles) is a tree. Pro-Tip: Perfect for modeling hierarchical structures like file systems!
