双書・大数学者の数学
ゲーデル 不完全性発見への道
| ISBN10： | 4-7687-0391-7 |
|---|---|
| ISBN13： | 978-4-7687-0391-5 |
| JAN： | 9784768703915 |
| 著者： | 北田均 著 |
| 出版社： | 現代数学社 |
| 発行日： | 2011年5月24日 |
| 仕様： | 単色刷／四六判／187頁 |
| 対象： | 一般向 |
| 分類： | 大学・専門学校（総合） |
| 価格： | 1,980円 (本体1,800円+税) |
学参ドットコムは会員登録無しで購入できます
ヒルベルトの提唱した形式主義を概観したのち命題論理、述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べる。その後このような立場から不完全性定理を考察しゲーデルの証明に潜む暗黙の仮定に迫る。
