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

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

平常授業：7/6, 7/13, 7/20

授業第十回目の今回は、最小述語論理上の最小算術Qで、どこまで計算に関する事実を証明できるかを、検討したいと思います。 ステップ1：前回の足し算の原始再帰的定義を一般化し、有限ステップで計算が確実に終わる関数こと「原始再帰的関数」のクラスを定義…