授業スライド こちらから 授業要約・宿題 こちらから

前回の復習 宿題の答え合わせ 計算（原始再帰的関数） 証明（数値的表現可能性）

授業第十二回目の今回は、最小述語論理上の最小算術Qで、どこまで計算に関する事実（例えば "2+2=4" とか）を証明できるかを、検討したいと思います。 ステップ1：計算 前回の足し算・かけ算の原始再帰的定義を一般化し、有限ステップで計算が確実に終わるこ…