商品詳細
双書・大数学者の数学

ゲーデル 不完全性発見への道

ゲーデル 不完全性発見への道
ISBN10: 4-7687-0391-7
ISBN13: 978-4-7687-0391-5
JAN: 9784768703915
著者:
出版社: 現代数学社
発行日: 2011年5月24日
仕様: 単色刷/四六判/187頁
対象: 一般向
分類: 大学・専門学校(総合)
価格: 1,980円 (本体1,800円+税)

学参ドットコムは会員登録無しで購入できます

ヒルベルトの提唱した形式主義を概観したのち命題論理、述語論理の無矛盾性と完全性および通常のゲーデルの不完全性定理の証明を述べる。その後このような立場から不完全性定理を考察しゲーデルの証明に潜む暗黙の仮定に迫る。
この商品と関連性の高い商品です。
レポート・論文をさらによくする「書き直し」ガイド

レポート・論文をさらによくする「書き直し」ガイド

大修館書店 【一般】

ISBN978-4-469-22244-9

1,760円 (本体1,600円+税)

ショッピングカートに入れる

大学テキスト 観光地理学 世界と日本の都市と観光

大学テキスト 観光地理学 世界と日本の都市と観光

古今書院 【一般】

ISBN978-4-7722-5243-0

2,860円 (本体2,600円+税)

ショッピングカートに入れる

大学の日本史 教養から考える歴史へ (2) 中世

大学の日本史 教養から考える歴史へ (2) 中世

山川出版社 【一般】

ISBN978-4-634-60032-4

1,980円 (本体1,800円+税)

ショッピングカートに入れる

医学部学士編入成功の秘訣

医学部学士編入成功の秘訣

エール出版社 【一般】

ISBN978-4-7539-3233-7

1,650円 (本体1,500円+税)

ショッピングカートに入れる

明解 相対性理論入門

明解 相対性理論入門

聖文新社 【一般】

ISBN978-4-7922-0092-3

2,200円 (本体2,000円+税)

ショッピングカートに入れる

亀田講義 ナマ中継 有機化学

亀田講義 ナマ中継 有機化学

講談社 【一般】

ISBN978-4-06-156252-3

2,420円 (本体2,200円+税)

ショッピングカートに入れる

大学生活 マネジメント・ブック

大学生活 マネジメント・ブック

旺文社 【一般】

ISBN978-4-01-052746-7

1,210円 (本体1,100円+税)

ショッピングカートに入れる

社会人大学院生のススメ

社会人大学院生のススメ

オクムラ書店 【一般】

ISBN978-4-86053-114-0

2,200円 (本体2,000円+税)

ショッピングカートに入れる

初めから学べると評判の 大学基礎物理 力学 キャンパス・ゼミ

初めから学べると評判の 大学基礎物理 力学 キャン...

マセマ出版社 【一般】

ISBN978-4-86615-111-3

1,980円 (本体1,800円+税)

ショッピングカートに入れる

スバラシク実力がつくと評判の マクロ経済学 キャンパス・ゼミ 改訂1

スバラシク実力がつくと評判の マクロ経済学 キャ...

マセマ出版社 【一般】

ISBN978-4-86615-043-7

2,200円 (本体2,000円+税)

ショッピングカートに入れる

スバラシク実力がつくと評判の ミクロ経済学 キャンパス・ゼミ 改訂1

スバラシク実力がつくと評判の ミクロ経済学 キャ...

マセマ出版社 【一般】

ISBN978-4-86615-044-4

2,200円 (本体2,000円+税)

ショッピングカートに入れる

スバラシク実力がつくと評判の 数値解析 キャンパス・ゼミ

スバラシク実力がつくと評判の 数値解析 キャンパ...

マセマ出版社 【一般】

ISBN978-4-86615-115-1

2,200円 (本体2,000円+税)

ショッピングカートに入れる

大学生のための 日本語表現トレーニングブック 実践編

大学生のための 日本語表現トレーニングブック 実践編

三省堂 【一般】

ISBN978-4-385-36326-4

2,090円 (本体1,900円+税)

ショッピングカートに入れる

小学校 教育実習ノート

小学校 教育実習ノート

協同出版 【一般】

ISBN978-4-319-11023-0

1,045円 (本体950円+税)

ショッピングカートに入れる

例題から学ぶ 微分方程式

例題から学ぶ 微分方程式

培風館 【一般】

ISBN978-4-563-01101-7

2,090円 (本体1,900円+税)

ショッピングカートに入れる