home.social
Sign in Create account

#proofanimations — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #proofanimations, aggregated by home.social.

  1. Jon Awbrey @[email protected] ·

    Animated Logical Graphs • 2
    • inquiryintoinquiry.com/2015/01

    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
    • inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2024/09

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2025/05

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

    #proofanimations #propositionalcalculus #lawsofform #spencerbrown #graphtheory #logicalgraphs
  2. Jon Awbrey @[email protected] ·

    Animated Logical Graphs • 1
    • inquiryintoinquiry.com/2015/01

    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
    • oeis.org/wiki/User:Jon_Awbrey/

    Double Negation
    • inquiryintoinquiry.com/wp-cont

    Peirce's Law
    • inquiryintoinquiry.com/wp-cont

    Praeclarum Theorema
    • inquiryintoinquiry.com/wp-cont

    Two‑Thirds Majority Function
    • inquiryintoinquiry.com/wp-cont

    A full discussion of logical graphs can be found in the following article.

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Resources —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2024/09

    Survey of Animated Logical Graphs
    • inquiryintoinquiry.com/2025/05

    cc: academia.edu/community/ldzadj
    cc: mathstodon.xyz/@Inquiry/116494
    cc: researchgate.net/post/Animated
    cc: stream.syscoi.com/2026/04/30/a
    cc: groups.io/g/lawsofform/topic/a

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

    #proofanimations #propositionalcalculus #lawsofform #spencerbrown #graphtheory #logicalgraphs
  3. Jon Awbrey @[email protected] ·

    Animated Logical Graphs • 1
    • inquiryintoinquiry.com/2015/01

    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
    • oeis.org/wiki/User:Jon_Awbrey/

    See the following article for a full discussion of this type of logical graph.

    Logical Graphs
    • oeis.org/wiki/Logical_Graphs

    Additional Resources —

    Logical Graphs • First Impressions
    • inquiryintoinquiry.com/2024/08

    Logical Graphs • Formal Development
    • inquiryintoinquiry.com/2024/09

    #Peirce #Logic #Mathematics #Semiotics #LogicalGraphs #GraphTheory
    #SpencerBrown #LawsOfForm #PropositionalCalculus #ProofAnimations

    #proofanimations #propositionalcalculus #lawsofform #spencerbrown #graphtheory #logicalgraphs