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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		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).

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact