計算などなく、ただそこには推論規則による置換があるだけgrass

This is a semi-public garden page — a draft, left open on purpose.

「計算」ってなに？

MIUゲーム
メタマジック・ゲーム

  • 足し算もまた、以下の推論規則に応じた置換を繰り返しているだけ
    • X + 0 |-> X
    • X + Ys |-> Xs + Y