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

Author(s)

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

Bibliographic Information

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

田中一之 [ほか] 著

日本評論社, 1997.3

Other Title

Lectures on foundations of mathematics

Title Transcription

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

Access to Electronic Resource 1 items

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

  1997

  NDL Digital Collections

  Limited

Note

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

索引: p203-206

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BN16121881
• ISBN:
  • 9784535782419
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: ix, 206p
• Size: 22cm
• Classification:
  • NDC9 : 410.9
  • NDC8 : 410.9
  • NDC7 : 410.1
• Subject Headings:
  • BSH : 数学基礎論