By evaluation? Evaluate Succ 2 such that the result is normal. then you may comp... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

chewxy on Nov 28, 2018 | parent | context | favorite | on: Math and Analogies

By evaluation? Evaluate Succ 2 such that the result is normal. then you may compare term equality

traderjane on Nov 28, 2018 [–]

Do you have a text you recommend on this approach to natural arithmetic?

chewxy on Nov 29, 2018 | [–]

You mean lambda calculus? Or peano?

For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact