新商品「ゲーデルの不完全性定理講義」のご案内・予告
みなさま、ごきげんよう、論計舎 川井です。
今回は新商品の予告です。
2022年から2023年にかけて開講しておりました、「ゲーデルの不完全性定理への12講」を元に、オリジナルテキストと授業動画をセットにした有料商品を作成中です。
2024/02/01の販売開始を目指しております。
なお、販売後も適宜、アップデートしていく予定です。
一階述語論理に健全性・完全性の証明をしたことがある方を念頭に、二つの不完全性定理の証明をできるだけ詳細にお伝えしつつ、その証明に最短で到達できる教材になるよう鋭意努力しております。
実際の商品構成は、あくまでも見込みですが、以下からなる予定です。
オリジナルテキスト
YouTube上限定公開の講義動画
講義で用いたスライド
また、テキストの講義対応部分から講義動画へリンクされるように作成予定です。
省略されがちなコード化の議論などをある程度は丁寧にやろうと思っておりますが、定理の性質上、無尽蔵に丁寧さを増すことができますので、適切に区切っていこうと考えております。
販売価格は未定ですが、論計舎web shopにて販売することは決定しております。
公開時には再度、ご連絡させていただきます。
またいくつかの他の新教材を本年は開発・公開予定ですので、ぜひご購入・DLのほどよろしくお願いします。
本年も論計舎をよろしくお願いします。
数理論理学と計算機科学のオンライン私塾論計舎の代表。論と計の科学についての情報を発信していく予定です。