平常授業:7/5, 7/12, 7/19
授業スライド・宿題 こちらから
前回の復習 宿題の答え合わせ 計算(原始再帰的関数) 証明(数値的表現可能性) 宿題
授業第十一回目の今回は、最小述語論理上の最小算術Qで、どこまで計算に関する事実(例えば "2+2=4" とか)を証明できるかを、検討したいと思います。 ステップ1:計算 前回の足し算・かけ算の原始再帰的定義を一般化し、有限ステップで計算が確実に終わるこ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。