4 ms·
Noteworthy: Frege developed the first "visual" (2-dimensional) way of doing logic with his Concept Script[1]. Linear logic also uses a similar "tree-like" struc
by dvt 6y ago
Noteworthy: Frege developed the first "visual" (2-dimensional) way of doing logic with his Concept Script[1]. Linear logic also uses a similar "tree-like" structure for proofs[2].
I was going to also mention Alligator Eggs, but that already made it in the post :)
[1] https://www.math.uwaterloo.ca/~snburris/htdocs/scav/frege/frege.html https://www.math.uwaterloo.ca/~snburris/htdocs/scav/frege/fr...
[2] https://plato.stanford.edu/entries/logic-linear/ https://plato.stanford.edu/entries/logic-linear/
- voidhorse 6y agoIf you get a chance to read it, the Begriffsschrift (literally “concept writing”) in which Frege explains the system and uses it is a fascinating read. Last time I checked it’s pretty hard to find a copy—mostly university libraries have it.
- dvt 6y agoYep, it's incredibly ahead of its time (written in the late 1800s)! Had to read parts of it for a course on (you guessed it) Lambda Calculus :)
- 082349872349872 6y agohttps://gallica.bnf.fr/ark:/12148/bpt6k65658c.texteImage https://gallica.bnf.fr/ark:/12148/bpt6k65658c.texteImage