5 ms·
Wouldn't lambda calculus have been more tractable and at least as mathematically sound? #deathtoturingmachines
by antonvs 9y ago
Wouldn't lambda calculus have been more tractable and at least as mathematically sound?
#deathtoturingmachines
- tromp 9y agoIndeed; lambda calculus comes up several times in the comments below the post, e.g. in https://www.scottaaronson.com/blog/?p=2725#comment-1084317 https://www.scottaaronson.com/blog/?p=2725#comment-1084317 https://www.scottaaronson.com/blog/?p=2725#comment-1085117 https://www.scottaaronson.com/blog/?p=2725#comment-1085117
- empath75 9y agoI find it fascinating that he doesn’t feel like he understands lambda calculus. It’s so simple in comparison to what he’s doing, at least at the base level.