[geometry-ml:06709] EwM 第80回「ゲーデルの不完全性定理をめぐって」のお知らせ

[yoshi ＠ math.chuo-u.ac.jp]

皆様;
（複数のMLにお送りしております。重複して受け取られた際はご容赦ください。)

中央大学理工学部にて開催されるENCOUNTERwithMATHEMATICS 第80回 
「ゲーデルの不完全性定理をめぐって
　〜ヒルベルトのプログラムから竹内の基本予想まで〜」
のお知らせです。


記
ENCOUNTERwithMATHEMATICS 第80回 
「ゲーデルの不完全性定理をめぐって
　〜ヒルベルトのプログラムから竹内の基本予想まで〜」

日時：2026年3月28日(土)14:00〜3月29日(日)17:00
場所：中央大学理工学部（東京都文京区春日1-13-27）５号館５５３４号室
講演予定者: 菊池 誠（神戸大学）、倉橋 太志（神戸大学）、黒川 英徳（金沢大学）
講演題目：
　１．数学基礎論の誕生：ヒルベルトからゲーデルへ（菊池）
　２．不完全性定理の証明：証明可能性述語と不動点定理（倉橋）
　３．第一不完全性定理の一般化と証明可能性論理（倉橋）
　４．算術の無矛盾性証明：ゲンツェンから竹内外史へ（黒川）
　５．不完全性定理再考：完全な公理系と無限の深淵（菊池）


プログラムの詳細、アブストラクト等は近日中にURL
https://www.math.chuo-u.ac.jp/ENCwMATH/
にてお知らせいたします。

中央大学理工学部数学教室　
三松　佳彦

---------------------------------------------
Yoshihiko MITSUMATSU

Department of Mathematics, 
Chuo University, 

1-13-27, Kasuga, Bunkyo-ku, Tokyo, 
112-8551, Japan 
phone : +81-3-3817-1745
fax   : +81-3-3817-1746
e-mail: yoshi ＠ math.chuo-u.ac.jp