4 ms·
Author here. Thanks for the appreciation! Since this piece was written, I have discovered another notation by John Tromp which I consider to be the most breath
by csvoss 6y ago
Author here. Thanks for the appreciation!
Since this piece was written, I have discovered another notation by John Tromp which I consider to be the most breathtakingly beautiful:
- https://tromp.github.io/cl/diagrams.html https://tromp.github.io/cl/diagrams.html
Here used by Paul Crowley to describe Graham's number:
- https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-number/ https://mindsarentmagic.org/2020/02/19/a-picture-of-grahams-...
- https://mindsarentmagic.org/2020/02/24/some-more-numbers-as-lambda-calculus/ https://mindsarentmagic.org/2020/02/24/some-more-numbers-as-...
- sn41 6y agoReally beautiful idea, and thanks for the link for John Tromp's idea. I will use your notation in my course. I am sure, being from where you are, you have heard of "Henderson Diagrams" from SICP. They are also a great visual tool for functional programming. From the Russian side of the cosmos, Drakon is a nice flowchart language (not a circuit diagram language), but I have never used it: https://en.wikipedia.org/wiki/DRAKON https://en.wikipedia.org/wiki/DRAKON
- plutonorm 6y agoI've been thinking about ways to feed algorithms into a neural network. This looks perfect! Just give the images to a convolutional NN.
- ford_o 6y agoWhy not feed it a text?
- ford_o 6y agoDoes this actually give you any insight into lambda calculus?
- tankenmate 6y agoHave you looked at the similarity Church numerals and Peano axioms? [0] [0] https://en.wikipedia.org/wiki/Peano_axioms https://en.wikipedia.org/wiki/Peano_axioms