4 ms·

How does that system compare whether two numerical objects are the same? 3 = Succ 2

• chewxy 8y ago
  By evaluation? Evaluate Succ 2 such that the result is normal. then you may compare term equality
  • traderjane 8y ago
    Do you have a text you recommend on this approach to natural arithmetic?
    • chewxy 8y ago
      You mean lambda calculus? Or peano? For the former, Barendregt. For the latter, Mandelson's Number System (first 5 or so chapters).