Y
Hacker News
new
|
ask
|
show
|
jobs
by
reuben364
370 days ago
Since the de Bruijn indices are limited (and presumably still Turing complete), I wonder how limited you can make them and still be Turing complete.
1 comments
jorkingit
370 days ago
I suspect the answer is 3: SKI combinator calculus is Turing complete and you need 3 de Bruijn indices to define S.
Good call! I got rid of all numbers above 2, I can't count that high anyway ;-)
link
Good call! I got rid of all numbers above 2, I can't count that high anyway ;-)