論計舎では様々な催し・連続講義を行なっています。
現在のイベント
論計祭 (無料)
論計祭は、数理論理学・計算機科学という「論と計の科学」を中心としつつも、コンピューターサイエンス・哲学・言語学。法学など様々な意味での 「論と計の科学」 に興味を持った方々に発表の場を提供するとともに論計舎内外の講師による講演を行う場です。
また、論と計の科学に関する疑問や論計舎のサービスについての相談にお答えする質問・相談会も行なっています。
月に一度を目安にZoomでのweb セミナーとして行なっています。
開催の詳細は論計舎のconnpassページよりご確認いただけます。
- 論計祭 # 5 on 24 Aug.「解説！『自然演繹100本ノック』」
- 「解説！『自然演繹100本ノック』」
過去のイベント
論計祭
ゲーデルの不完全性定理への12講 (有料)
2023年09月より毎月一回一年かけて「ゲーデルの不完全性定理への12講」という連続講座を開講しました。数理論理学とは何かという話から始めて第一不完全性定理をお伝えし、第二不完全性定理を紹介しました。