よく一緒に購入されている商品
商品の説明
内容（「MARC」データベースより）
不完全性定理に関するゲーデルの理論についての入門書であり、数学基礎論全般に対する入門書。ゲーデルの証明をていねいに追うことで、論理計算の実際を知り、また記号論理の実質的な意味を理解できる。
著者略歴 (「BOOK著者紹介情報」より)
前原 昭二
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
1927年東京に生れる。1951年東京大学理学部卒業。元東京工業大学教授・理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)
登録情報
|
この商品を見た後に買っているのは？
カスタマーレビュー
最も参考になったカスタマーレビュー
23 人中、19人の方が、｢このレビューが参考になった｣と投票しています。
形式:単行本
この本の大きな特徴は、何と言っても、
第一不完全性定理のゲーデルの証明を、
丁寧かつ厳密に紹介しているところであろう。
第二不完全性定理の証明については、アウトラインだけが述べられている。
土台となる論理体系は、高階述語論理である。
特に、理論体系の表現可能性・原始帰納的関数
に関する記述がしっかりしているので、
不完全性定理において、何が本質的なのかが、
読んでいて、把握しやすくなっている。
故・前原昭二先生が、数学基礎論の達人と言われた所以が、
よくわかる名著である。
蛇足：本書と同程度以上に第一・第二不完全性定理を
詳しく紹介している本として、
梅沢敏郎著「記号論理」が挙げられる。
梅沢先生の本での定式化は、本書によるものとは、異なっている。
しかし、第二不完全性定理の証明については、梅沢先生の本のほうが詳しい。
ただ、残念なことに、梅沢先生のこの本は現在は絶版らしい。
第一不完全性定理のゲーデルの証明を、
丁寧かつ厳密に紹介しているところであろう。
第二不完全性定理の証明については、アウトラインだけが述べられている。
土台となる論理体系は、高階述語論理である。
特に、理論体系の表現可能性・原始帰納的関数
に関する記述がしっかりしているので、
不完全性定理において、何が本質的なのかが、
読んでいて、把握しやすくなっている。
故・前原昭二先生が、数学基礎論の達人と言われた所以が、
よくわかる名著である。
蛇足：本書と同程度以上に第一・第二不完全性定理を
詳しく紹介している本として、
梅沢敏郎著「記号論理」が挙げられる。
梅沢先生の本での定式化は、本書によるものとは、異なっている。
しかし、第二不完全性定理の証明については、梅沢先生の本のほうが詳しい。
ただ、残念なことに、梅沢先生のこの本は現在は絶版らしい。
17 人中、13人の方が、｢このレビューが参考になった｣と投票しています。
形式:単行本
不完全性定理をゲーデルの原論文に沿いつつも、適宜、初学者向けの解説を挿入するという体裁の本。不完全性定理をしっかり学びたい読者には最適である。間違っても最近出版された文庫本で学び始めようとしないように。
前原氏の名著が復刊されたことを喜びたい。
前原氏の名著が復刊されたことを喜びたい。
17 人中、12人の方が、｢このレビューが参考になった｣と投票しています。
形式:単行本
私は基礎論を専門としていないので、この本の本当の価値はわからないかもしれないが、この本を読んで、やっとゲーデルが考えていたことがわかったように思う。著者は優れた基礎論の研究者であるが、この本を書くために周到な準備をして、言葉を選びながら書いている。
基礎論を学んでいる友人から薦められて読んだのだが、基礎論の研究者の中でも評価されている本のようだ。
基礎論を学んでいる友人から薦められて読んだのだが、基礎論の研究者の中でも評価されている本のようだ。
リストマニア
|
|
同じキーワードの商品を探す
フィードバック
- カタログ情報、または画像について報告
- 著者からのコメント
- 出版社からのコメント
|
