数学基礎論講義 : 不完全性定理とその発展

著者

• 田中, 一之 タナカ, カズユキ
• 鹿島, 亮 カシマ, リョウ
• 角田, 法也 カドタ, ノリヤ
• 菊池, 誠 キクチ, マコト

書誌事項

数学基礎論講義 : 不完全性定理とその発展

田中一之 [ほか] 著

日本評論社, 1997.3

タイトル別名

Lectures on foundations of mathematics

タイトル読み

スウガク キソロン コウギ : フカンゼンセイ テイリ ト ソノ ハッテン

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

• 数学基礎論講義 : 不完全性定理とその発展

  1997

  NDLデジタルコレクション

  限定公開

注記

その他の著者: 鹿島亮, 角田法也, 菊池誠

索引: p203-206

内容説明・目次

内容説明

ゲーデルの不完全性定理の現代数学基礎論における発展を、第一線の研究者たちがていねいに解説した待望の入門書。

目次

• Ａ　数理論理学入門（準備練習；命題論理　ほか）
• Ｂ　不完全性定理（算術の体系；第一不完全性定理　ほか）
• Ｃ　組合せ的独立命題（順序数と急増加関数；パーソンズの定理—ΙΣ１と原始再帰的関数　ほか）
• Ｄ　算術の超準モデル（算術の超準モデル；テンネンバウムの定理　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN16121881
• ISBN:
  • 9784535782419
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: ix, 206p
• 大きさ: 22cm
• 分類:
  • NDC9 : 410.9
  • NDC8 : 410.9
  • NDC7 : 410.1
• 件名:
  • BSH : 数学基礎論