計算などなく、ただそこには推論規則による置換があるだけ (Scratchpad)
This page is a personal scratchpad.
「計算」ってなに？
MIUゲーム
『メタマジック・ゲーム』
- 足し算もまた、以下の推論規則に応じた置換を繰り返しているだけ
X + 0 |-> XX + Ys |-> Xs + Y
This page is a personal scratchpad.
「計算」ってなに？
MIUゲーム
『メタマジック・ゲーム』
X + 0 |-> XX + Ys |-> Xs + Y