本来は、0だけでなく、形式化された算術の全ての記号(=,+,×など)も、本来の算数の記号と分けて書く必要があるのですが、スライド作成の都合上、同じ記号を使っています。ご注意下さい。
授業スライド こちらから 授業要約・宿題 こちらから
前回の復習 宿題の答え合わせ 形式化された算術
緊急:本日は台風のため休講とします。 前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょう! その枠組み…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。