A circuit-like notation for lambda calculus (2015)

Re:A circuit-like notation for lambda calculus (2015) by dvt on Monday August 17, 2020 @07:38PM (#24193582)

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/fr...

[2] https://plato.stanford.edu/entries/logic-linear/

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by voidhorse on Monday August 17, 2020 @07:47PM (#24193644)

If 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.

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by dvt on Monday August 17, 2020 @07:53PM (#24193679)

Yep, 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 :)

[ Parent | on HN ]

Re:A circuit-like notation for lambda calculus (2015) by 082349872349872 on Tuesday August 18, 2020 @12:48AM (#24195366)

https://gallica.bnf.fr/ark:/12148/bpt6k65658c.texteImage

[ Parent | on HN ]