論計舎講義「ゲーデルの不完全性定理」」の予約販売開始のお知らせ

みなさま、ごきげんよう、論計舎 川井です。
予告しておりました新商品「論計舎講義「ゲーデルの不完全性定理」」の予約販売開始のお知らせです。

2022年から2023年にかけて開講しておりました、「ゲーデルの不完全性定理への12講」を元に、オリジナルテキストと授業動画をセットにした有料商品を2024/02/01公開予定です。

なお、販売後も適宜、アップデートしていく予定です。

一階述語論理に健全性・完全性の証明をしたことがある方を念頭に、二つの不完全性定理の証明をできるだけ詳細にお伝えしつつ、その証明に最短で到達できる教材になるよう鋭意努力しました。

実際の商品構成は、以下からなります。

• オリジナルテキスト

• YouTube上限定公開の講義動画

• 講義で用いたスライド

また、テキストの講義対応部分から講義動画へリンクされております。
省略されがちなコード化の議論などをある程度は丁寧にやろうと思っておりますが、定理の性質上、無尽蔵に丁寧さを増すことができますので、適切に省略しました。アップデートに伴い、詳細にしていく予定です。

論計舎web shopにて10万円で販売予定ですが、専用ページからお問い合わせいただけますと、6万円でのご提供となります。
さらに、1月中に専用ページからお問い合わせ・ご予約いただけますと、3万円までお値引きさせていただきます。

またいくつかの他の新教材を本年は開発・公開予定ですので、ぜひご購入・DLのほどよろしくお願いします。

以下には、論計舎講義「ゲーデルの不完全性定理」の母体となった「連続講義ゲーデルの不完全性定理への12講」のアーカイブ動画から第一回と第二回を予告編として掲載しています。