home.social

#hilbertsystems — Public Fediverse posts

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

fetched live
  1. Samiro Discher @[email protected] ·

    New: pmGenerator, since version 1.2.2, can
    - compress Hilbert-style proofs via exhaustive search on user-provided proof data
    - convert Fitch-style natural deduction proofs into any sufficiently explored Hilbert system

    #Logic #HilbertSystems #NaturalDeduction #FormalMethods #ProofTheory #Mathematics

    github.com/xamidi/pmGenerator/

    #logic #hilbertsystems #naturaldeduction #formalmethods #prooftheory #mathematics
  2. Samiro Discher @[email protected] ·

    An explanation of what axioms and mathematical proofs really are. With a reference to my tool that helps exploring some of them.

    math.codidact.com/posts/290943

    #Logic #Axioms #Mathematics #ProofTheory #HilbertSystems #ModalLogic #Research #Software

    #logic #axioms #mathematics #prooftheory #hilbertsystems #modallogic
  3. Samiro Discher @[email protected] ·

    Damn, another social network not containing anything about my research interests..

    Looking for challengers: github.com/xamidi/pmGenerator/

    #ProofTheory #HilbertSystems #ProofMinimization #Research #Logic #Puzzle #Challenge

    #prooftheory #hilbertsystems #proofminimization #research #logic #puzzle