橋本 Hashimoto   Baku

橋本 Hashimoto   Baku

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

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

「計算」ってなに?

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

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