書泉メルマガ Twitterアカウント 取材のお申込みv
  1. HOME
  2. イベント
  3. 田中一之先生講義 数学基礎論シリーズ《2》ゲーデルの不完全性定理の基本 全3回
数学 イベント

田中一之先生講義 数学基礎論シリーズ《2》ゲーデルの不完全性定理の基本 全3回

2/26更新 第2回、第3回は5月14日、28日に延期となりました。
開催場所 / 開催日時

グランデ(神保町) 7F お問い合わせ

2020年02月20日(木) 19:00~20:30(開場18:45)

2020年05月14日(木) 19:00~20:30(開場18:45)

2020年05月28日(木) 19:00~20:30(開場18:45)

発券場所 / 発券日時

グランデ(神保町) 4F お問い合わせ

2020年01月11日(土) ~2020年2月19日(水)

田中一之先生講義 数学基礎論シリーズ《2》

ゲーデルの不完全性定理の基本 全3回

日時 

2020年2月20日(木)・3月5日(木)・3月19日(木)

5月14日(木)・5月28日(木)

 19:00~20:30(18:45開場)

全三回受講料 ※分割払い不可

一般:9,000円

学生:7,500円 ※お支払い時に学生証の提示をお願いします。

お客様都合による欠席時の返金は行っておりません。

会場

書泉グランデ7階(6階から階段でお越し下さい)

定員

26名

受付

定員に達した為、受付を終了しました。

書泉グランデ4階

なお,受講のご予約やお問い合わせにつきましては,店頭以外に
電話 (03-3295-0011)にご予約 ,あるいは上記お問い合わせボタン
よりお問い合わせ内容:【田中一之先生講義】を明記して,

お申込み下さい。

講義開始時間までに書泉グランデ4階レジにて受講料をお支払いの上、

受講証をお受け取り後7階へお越し下さい。

概要

半世紀前には理解困難な定理と喧伝されていた不完全性定理も,
今日では数学基礎論入門の試金石である.これをクリアすれば,
現代基礎論の世界が目の前に広がる.

2月20日 準備と概要
 ゲーデルの定理以前と以後の数学基礎論の歴史を瞥見すると共に,
この定理を理解するために必要な1階論理の基本知識をおさらいする.
3月5日 5月14日 第一不完全性定理
 計算可能性や論理式の階層など不完全性定理以降に発展した概念に
基づき,第一定理に対する見通しの良い証明を与える.
3月19日 5月28日 第二不完全性定理
 証明可能性を様相とする命題論理GLに基づく証明や,算術化された
完全性定理による証明などを紹介する.算術の新しい独立命題にも触れる