home.social

#gottlobfrege — Public Fediverse posts

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

fetched live
  1. Richard Penner @[email protected] ·

    Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.

    So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.

    #SetTheory #Logic #Metamath

    #metamath #logic #settheory #frege #gottlobfrege #symboliclogic
  2. Richard Penner @[email protected] ·

    Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.

    So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.

    #SetTheory #Logic #Metamath

    #metamath #logic #settheory #frege #gottlobfrege #symboliclogic
  3. Richard Penner @[email protected] ·

    Begriffsschrift (1879), is one of the first manuscripts on #SymbolicLogic. As such, it literally invents a new language to describe the subjects the author, #GottlobFrege, wants to introduce. And this notation is very unlike what we see in math before or after this.

    So I will list some theorems adapted (by me, circa 2020) from #Frege with proper set-theoretical bounds.

    #SetTheory #Logic #Metamath

    #symboliclogic #gottlobfrege #frege #settheory #logic #metamath
  4. Sci-books.com @[email protected] ·

    The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number by Gottlob Frege (PDF)
    Author: Gottlob Frege
    File Type: PDF
    Download at sci-books.com/the-foundations-
    #Philosophy, #GottlobFrege

    #philosophy #gottlobfrege
  5. Sci-books.com @[email protected] ·

    The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number by Gottlob Frege (PDF)
    Author: Gottlob Frege
    File Type: PDF
    Download at sci-books.com/the-foundations-
    #Philosophy, #GottlobFrege

    #philosophy #gottlobfrege
  6. Sci-books.com @[email protected] ·

    The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number by Gottlob Frege (PDF)
    Author: Gottlob Frege
    File Type: PDF
    Download at sci-books.com/the-foundations-
    #Philosophy, #GottlobFrege

    #gottlobfrege #philosophy
  7. Sci-books.com @[email protected] ·

    The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number by Gottlob Frege (PDF)
    Author: Gottlob Frege
    File Type: PDF
    Download at sci-books.com/the-foundations-
    #Philosophy, #GottlobFrege

    #philosophy #gottlobfrege