山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
Author(s)
Bibliographic Information
山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌
日本評論社, 2019.12
- Title Transcription
-
ヤマ ノ ウエ ノ ロジック ガクエン : フカンゼンセイ テイリ オ メグル 2シュウカン ノ ジュギョウ ニッシ
Access to Electronic Resource 1 items
Available at / 40 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Description and Table of Contents
Description
さまざまなバックグラウンドを持つ個性豊かな入門生たちがロジックの理解を目指す物語。いよいよ最終日の演習が始まろうとしたとき、衝撃の出来事が…。『数学セミナー』好評連載、待望の書籍化！！
Table of Contents
- 授業１週目（等式のロジック；等式理論とブール代数；命題論理；１階論理；計算のロジック；特別講義 超準解析）
- 授業２週目（第一不完全性定理；第二不完全性定理；不完全性定理とさまざまな論理；ランダム性と不完全性定理；ゲーデル以降の展開；五年目のペリパトス）
by "BOOK database"
