4 ms·
Looks like great fun with very big numbers. I wonder can something similar be defined in terms of Lambda Calculus?
by galaxyLogic 5y ago
Looks like great fun with very big numbers.
I wonder can something similar be defined in terms of Lambda Calculus?
- tromp 5y agoIndeed it can: https://mathoverflow.net/questions/353514/whats-the-smallest-lambda-calculus-term-not-known-to-have-a-normal-form https://mathoverflow.net/questions/353514/whats-the-smallest... https://oeis.org/A333479 https://oeis.org/A333479
- fjfaase 5y agoWhen I was working on a similar problem with respect to calculating numbers with a version of Brainfuck where each cell can contain any natural number, I remember feeling some kind of mental nausea about how big numbers can get.