授業スライド・宿題 こちらから今回の宿題の提出は必須ではありません(提出してくれれば成績面で考慮します)。なお、宿題の締切は9/2710/4(後期授業第一回目)です。
前回の復習 宿題の答え合わせ メタの数学的帰納法 足し算の表現定理 宿題
平常授業:7/12, 7/19 後期授業:9/2710/4〜
授業第十二回目の今回は、前回の続き(ステップ2)として、最小述語論理上の最小算術Qでどこまで計算に関する事実を証明できるかを、検討したいと思います。 具体的には、足し算の数値的表現可能性を、メタの数学的帰納法を使用して証明します。 「メタレベ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。