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