山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

著者

• 田中, 一之 タナカ, カズユキ
• バラマツ, ヒトミ バラマツ, ヒトミ

書誌事項

山の上のロジック学園 : 不完全性定理をめぐる2週間の授業日誌

田中一之著 ; バラマツヒトミ絵

日本評論社, 2019.12

タイトル読み

ヤマ ノ ウエ ノ ロジック ガクエン : フカンゼンセイ テイリ オ メグル 2シュウカン ノ ジュギョウ ニッシ

電子リソースにアクセスする 全1件

• 山の上のロジック学園 不完全性定理をめぐる2週間の授業日誌

  2019.12.

  Maruzen eBook Library

内容説明・目次

内容説明

さまざまなバックグラウンドを持つ個性豊かな入門生たちがロジックの理解を目指す物語。いよいよ最終日の演習が始まろうとしたとき、衝撃の出来事が…。『数学セミナー』好評連載、待望の書籍化！！

目次

• 授業１週目（等式のロジック；等式理論とブール代数；命題論理；１階論理；計算のロジック；特別講義　超準解析）
• 授業２週目（第一不完全性定理；第二不完全性定理；不完全性定理とさまざまな論理；ランダム性と不完全性定理；ゲーデル以降の展開；五年目のペリパトス）

「BOOKデータベース」 より

• NII書誌ID(NCID): BB29552145
• ISBN:
  • 9784535789135
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: iv, 242p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
  • NDC10 : 410.9
• 件名:
  • BSH : 不完全性定理
  • BSH : 記号論理学