このページは個人的なメモ書きです。何かあればご連絡ください。

「計算」ってなに？

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

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