Category Archives: Graph Theory

Animated Logical Graphs • 1

Posted on January 8, 2015 by Jon Awbrey

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 See the following article for a full … Continue reading →

Posted in Abstraction, Amphecks, Analogy, Animata, Automated Research Tools, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Duality, Form, Graph Theory, Iconicity, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Model Theory, Peirce, Peirce's Law, Praeclarum Theorema, Pragmatism, Proof Theory, Propositional Calculus, Semiotics, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Forest Primeval → Riffs & Rotes

Posted on August 17, 2014 by Jon Awbrey

Re: Shifting Paradigms? • (1) • (2) • (3) • (4) • (5) • (6) Prompted by the discussion of Catalan numbers on the Foundations Of Math List, I dug up a few pieces of early correspondence and later discussions … Continue reading →

Posted in Algebra, Animata, Arithmetic, C.S. Peirce, Catalan Numbers, Combinatorics, Forest Primeval, Foundations of Mathematics, Gödel Numbers, Graph Theory, Group Theory, H.W. Gould, Integer Sequences, Logic, Martin Gardner, Mathematics, Neil Sloane, Number Theory, Paradigmata, Planted Plane Trees, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , , , , , , | Leave a comment

¿Shifting Paradigms? • 2

Posted on August 6, 2014 by Jon Awbrey

Re: Timothy Chow • Shifting Paradigms? 2014 Jul 31 I can’t remember when I first started playing with Gödel codings of graph-theoretic structures, which arose in logical and computational settings, but I remember being egged on in that direction by … Continue reading →

Posted in Algebra, Arithmetic, Combinatorics, Foundations of Mathematics, Graph Theory, Group Theory, Inquiry, Logic, Mathematics, Model Theory, Number Theory, Paradigms, Peirce, Programming, Proof Theory, Riffs and Rotes | Tagged , , , , , , , , , , , , , , , | Leave a comment

All Process, No Paradox • 6

Posted on January 22, 2014 by Jon Awbrey

Re: R.J. Lipton • Anti-Social Networks Re: Lou Kauffman • Iterants, Imaginaries, Matrices Comments I made elsewhere about computer science and (anti-)social networks have a connection with the work in progress on this thread, so it may steal a march … Continue reading →

Posted in Algorithms, Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Lou Kauffman, Mathematics, Minimal Negation Operators, Painted Cacti, Paradox, Peirce, Process Thinking, Propositional Calculus, Spencer Brown, Systems, Time | Tagged , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

All Process, No Paradox • 3

Posted on January 17, 2014 by Jon Awbrey

Consider what effects that might conceivably have practical bearings you conceive the objects of your conception to have.  Then, your conception of those effects is the whole of your conception of the object. Charles S. Peirce • “Issues of Pragmaticism” … Continue reading →

Posted in Animata, C.S. Peirce, Change, Cybernetics, Differential Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Pragmatic Maxim, Process Thinking, Spencer Brown, Systems, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 11 Comments

All Process, No Paradox • 1

Posted on January 13, 2014 by Jon Awbrey

This thing all things devours: Birds, beasts, trees, flowers; Gnaws iron, bites steel; Grinds hard stones to meal; Slays king, ruins town, And beats high mountain down. Tolkien • The Hobbit Talking about time is a waste of time.  Time … Continue reading →

Posted in Animata, C.S. Peirce, Change, Cybernetics, Differential Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Process, Process Thinking, Spencer Brown, Systems Theory, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 11 Comments

The Lambda Point • 1

Posted on August 1, 2013 by Jon Awbrey

A note on the title.  From long ago discussions with Harvey Davis, one of my math professors at Michigan State.  I remember telling him of my interest in the place where algebra, geometry, and logic meet, and he quipped, “Ah … Continue reading →

Posted in Algebra, Amphecks, Boolean Algebra, C.S. Peirce, Cactus Graphs, Geometry, Graph Theory, Lambda Point, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Peirce, Propositional Calculus, Topology | Tagged , , , , , , , , , , , , , , | Leave a comment

How To Succeed In Proof Business Without Really Trying

Posted on July 15, 2013 by Jon Awbrey

Re: R.J. Lipton • Surely You Are Joking? Comment 1 Even at the mailroom entry point of propositional calculus, there is a qualitative difference between insight proofs and routine proofs.  Human beings can do either sort, as a rule, but … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Automatic Theorem Proving, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Model Theory, Peirce, Praeclarum Theorema, Proof Theory, Propositional Calculus, Visualization | Tagged , , , , , , , , , , , , , , , , , , | 7 Comments

Finding a Needle in a Cactus Patch

Posted on April 30, 2013 by Jon Awbrey

Re: R.J. Lipton • Sex, Lies, And Quantum Computers Don’t know much about quantum computation, but my ventures in graphical syntaxes for propositional calculus did turn up a logical operator whose evaluation process reminded me a little of the themes … Continue reading →

Posted in Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Graph Theory, Logic, Logical Graphs, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Quantum Computing, Semiotics | Tagged , , , , , , , , , , , , | 4 Comments

Riffs and Rotes • 2

Posted on March 3, 2013 by Jon Awbrey

Re: Peter Cameron • Addition and Multiplication of Natural Numbers The interaction between addition and multiplication in the natural numbers has long been an interest of mine, leading to broader questions about the relationship between algebra and combinatorics.  My gropings … Continue reading →

Posted in Arithmetic, Combinatorics, Graph Theory, Group Theory, Logic, Mathematics, Number Theory, Riffs and Rotes | Tagged , , , , , , , | Leave a comment