- 在庫状況:在庫あり(1〜2日で出荷)
- 数学基礎論
-
- 価格
- 1,100円(本体1,000円+税)
- 発行年月
- 2017年01月
- 判型
- 文庫
- ISBN
- 9784480097637
[BOOKデータベースより]
数学基礎論―それは20世紀とともに始まった、新しい数学の分野である。その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。「ミレニアム懸賞問題」として知られるP=NP問題(P≠NP予想)やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。
数学における集合論的方法
集合論の公理
数学的命題の形式化
数学的推論の形式化
数学的証明の形式化
ゲーデル数
不完全性定理
自然数論の形式化
自然数論に対する無矛盾性証明の必要性
自然数論の無矛盾性証明のアイディア
直観論理
ファジー論理
計算論
集合論の課題
基礎論の将来
この商品をご覧のお客様は、こんな商品もチェックしています。
- 入試問題を解くための発想力を伸ばす解法のエウレカ数学1・A
-
価格:1,870円(本体1,700円+税)
【2023年08月発売】
- 現代集合論入門 増補版
-
価格:4,950円(本体4,500円+税)
【1989年12月発売】
- 集合とはなにか 新装版
-
価格:1,100円(本体1,000円+税)
【2001年05月発売】
内容は後日登録