論計舎では様々な催し・連続講義を行なっています。
現在のイベント
ゲーデルの不完全性定理への12講 (有料)
2023年09月より毎月一回一年かけて「ゲーデルの不完全性定理への12講」という連続講座を開講しています。数理論理学とは何かという話から始めて第一不完全性定理をお伝えし、第二不完全性定理を紹介します。
途中から参加や部分参加も可能です。
特に全体参加権をご購入いただきますと、過去の講義のアーカイブ映像およびスライド資料とオリジナルテキストもダウンロードも可能です。
- 全体参加権
- 11 Sep. 2022 "Historical and Technical Backgrounds"のご登録
- 16 Oct. 2022 "Proof Thoery: Quick Installation"のご登録
- 13 Nov. 2022 "Proof Theory: Details and Examples"のご登録
- 11 Dec. 2022 "Computability: Quick Installation"のご登録
- 18 Feb. 2023 "Conputability: Recursion"のご登録
論計祭 (無料)
論計祭は、数理論理学・計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス・哲学・言語学。法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の場を提供するとともに論計舎内外の講師による講演を行う場です。
また、論と計の科学に関する疑問や論計舎のサービスについての相談にお答えする質問・相談会も行なっています。
月に一度を目安にZoomでのweb セミナーとして行なっています。
開催の詳細は論計舎のconnpassページよりご確認いただけます。
- 論計祭#2 on 18 Mar. 2023
- 論計祭#3 TBA