|
|
|
|
|
|
by goc
3760 days ago
|
|
|
In this video[0] Van Roy claims that the function Three "resolves" to 3. It's at around 8:45 minute. I tried working that out, but can't seem to get it correct. What I tried {Inc {Inc {Inc Zero}}}
{Inc {Inc 1}}
{Inc {1} + 1}
{{{1} + 1} + 1}
Can we consider {{{1} + 1} + 1} to be 3 or what are my mistakes? Thanks.[0] https://youtu.be/Arh_6J5_fWU?t=8m46s |
|
|