このエントリーをはてなブックマークに追加

Oct

16

論計舎連続講義「ゲーデルの不完全性定理への12講」#02

Proof Theory: Quick Installation

Organizing : 論計舎

Hashtag :#論計舎
Registration info

リスナー

1000 (Pre-pay)

FCFS
1/10

About Prepayment

About Prepayment Contact Info:

(Only shown to attendees.)

Cancel/Refund Policy:

払い戻し不可能です。

Print receipt data:

発行する (詳しくはこちら)
参加者への情報
(参加者と発表者のみに公開されます)

Description

論計舎連続講義「ゲーデルの不完全性定理への12講」#02

Description

本年9月から毎月一回一年かけた「ゲーデルの不完全性定理への12講」という有料連続講座を開設しました。 数理論理学とは何かという話から始めて第一不完全性定理をお伝えし、第二不完全性定理を紹介します。

第二回である今10月は、 数理論理学の内容的な部分に入ります。 具体的には証明論という考え方を紹介し、 自然演繹という方法で一階述語論理を形式化します。

第一回はこちら

Speaker

川井 新 (Shin Quawai)

論計舎主催・講師。 論理と計算の関わりに関心をもち、在野研究者として活躍中。 他に哲学的論理学も専門とする。 RIMS共同研究にて口頭発表2回。 論理学友の会発起人。 指導実績のある分野に、線形代数、微分積分学、数理論理学。 ウィスキーと珈琲を好む。

Time Table

TBA

Attendane

各回の録画および資料を含めた全12回参加権をまとめてご購入なさりたい方は、 論計舎サイト内ページからお問い合わせください。

各回の参加はその都度、connpassページからご登録いただけます。 なお、各回ごとの参加にアーカイブの閲覧権は付随しません。

Keywords and Topics

一階述語論理/算術の言語/計算可能性/原始再帰的関数/原始再帰的関係/ゲーデル符号化/第一不完全性定理/対角線補題/第一不完全性定理の一般化/第一不完全性定理の応用/第二不完全性定理/可導性条件

Course Objectives

数理論理学の基本定理で一つの大きな達成である、 ゲーデルの不完全性定理を理解する。 ここでいう理解とは、 背後の基本的な考え方・発想および数学的な技法を含むものである。

この技法は、 不完全性定理にかぎらず、 チューリングおよびチャーチそれぞれによる 実行的に解けない数学の問題の存在を示した業績などでも使われたものである。

Schedule

11 Sep. 2022

Historical and Technical Backgrounds

  • スケジュールの説明
  • 不完全性定理と歴史的背景
  • 不完全性定理の技術的背景

16 Oct. 2022

Proof Theory: Quick Installation

  • 前回の復習
  • 証明論
  • 一階述語論理の自然演繹

Nov. 2022

Proof Theory: Details and Examples

  • 前回の復習
  • 一階述語論理の自然演繹
  • 実例の提示

Dec. 2022

Computability: Quick Installation

  • 前回の復習
  • 計算可能性の歴史
  • 速習計算可能性

Jan. 2023

Computability: Recursion

  • 前回の復習
  • コード化
  • 原始再帰的関数

2023年2月

Computability: Details and Examples

  • 前回の復習
  • Churchのテーゼ
  • 実例の提示

Mar. 2023

An Introduction to Incompleteness (1)

  • 前回の復習
  • 算術の形式理論
  • Σ1完全性

Apr. 2023

An Introduction to Incompleteness (2)

  • 前回の復習
  • 算術化・ゲーデル符号化
  • 表現定理

May 2023

The First Incompleteness Theorem

  • 前回の復習
  • 対角線補題
  • 第一不完全性定理

June 2023

Use and Abuse

  • 全体の振り返り
  • 第一不完全性定理の応用

July 2023

The Second Incompleteness Theorem

  • 前回の復習
  • 第二不完全性定理の概略
  • 第二不完全性定理の応用と現在の研究の紹介

Aug. 2023

Summary

  • Summary

Resources

Texts

  • 鹿島亮『数理論理学』朝倉出版、2009
  • Cooper, S. Barry. Computability theory. Chapman and Hall/CRC, 2017.
  • 新井敏康『数学基礎論 増補版』東大出版、2021
  • 菊池誠『不完全性定理』共立出版、2014
  • トルケル・フランセーン『ゲーデルの定理 利用と御用の不完全ガイド』みすず出版、2011

Further reading on Incompleteness

  • ゲーデル著、林晋、八杉満利子、訳・解説、『不完全性定理』岩波書店
  • Boolos, George. "Gödel's second incompleteness theorem explained in words of one syllable." Mind (1994): 1-3.
  • Boolos, George. "A New Proof of the Gödel Incompleteness Theorem." Notices Am. Math. Soc. 36 (1989): 388-390.

Incompleteness and the Philosophy of Mathematics

Archives

今までの開催の様子の録画を一回あたり1500円で販売しております。 詳しくは quawai@me.com までお問合せください。

発表者

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

論計舎

論計舎 wrote a comment.

2022/07/11 01:03

「ゲーデルの不完全定理への12講」への年間お申し込み多数につき(ありがとうございます)、ひとまず2022/07/15にいったん全12回の参加権販売を締め切らせていただきます。再度の募集をかけるかは未定ですが、運営体制を整えて再度の募集をかけさせていただくつもりです。

論計舎

論計舎 wrote a comment.

2022/07/06 15:32

10/16(日)13時からの第二回、募集を開始しました!奮ってご参加ください!!!

論計舎

論計舎 published 論計舎連続講義「ゲーデルの不完全性定理への12講」#02.

07/06/2022 14:58

論計舎連続講義「ゲーデルの不完全性定理への12講」#02 を公開しました!

Ended

2022/10/16(Sun)

13:00
16:30

Registration Period
2022/07/06(Wed) 15:30 〜
2022/10/16(Sun) 12:30

Location

オンライン

オンライン

Attendees(1)

D.Matsuoka

D.Matsuoka

論計舎連続講義「ゲーデルの不完全性定理への12講」#02 に参加を申し込みました!

Attendees (1)