#gottlobfrege — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #gottlobfrege, aggregated by home.social.
-
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.