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

このページは半公開の庭先公開ページです。

「計算」ってなに？

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

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