2020-08-01から1日間の記事一覧
補講第一回は8月1日(土)16時〜17時半の予定です。前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょ…
補講第一回は8月1日(土)16時〜17時半の予定です。前回までで、最小述語論理の話は終了です。これである程度数学を展開するための道具は揃いました。それでは、授業第十一回目の今回、この枠組みの中で、簡単な算数の証明がどこまで書けるか試してみましょ…