双書・大数学者の数学
ゲーデル 不完全性発見への道
| ISBN10： | 4-7687-0391-7 |
|---|---|
| ISBN13： | 978-4-7687-0391-5 |
| JAN： | 9784768703915 |
| 著者： | 北田均 著 |
| 出版社： | 現代数学社 |
| 発行日： | 2011年5月24日 |
| 仕様： | 単色刷／四六判／187頁 |
| 対象： | 一般向 |
| 分類： | 大学・専門学校（総合） |
| 価格： | 1,980円 (本体1,800円+税) |
 送料について
|
発送手数料について
書籍及びそれらの関連商品
1回1ヵ所へ何冊でも400円（税込）
お支払い方法が代金引換の場合は別途326円（税込）かかります。
お買いあげ5000円以上で発送手数料無料。
当店の都合で商品が分納される場合は追加の手数料はいただきません。 一回のご注文で一回分の手数料のみ請求させていただきます。
学参ドットコムは会員登録無しで購入できます
（図書カードNEXT利用可
）
ヒルベルトの提唱した形式主義を概観したのち命題論理、述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べる。その後このような立場から不完全性定理を考察しゲーデルの証明に潜む暗黙の仮定に迫る。
