[本/雑誌]/数学基礎論 (ちくま学芸文庫 マ41-1 Math & Science)/前原昭二/著 竹内外史/著

前原昭二/著 竹内外史/著/数学基礎論 (ちくま学芸文庫 マ41-1 Math & Science)、メディア:BOOK、発売日:2017/01、重量:125g、商品コード:NEOBK-2044837、JANコード/ISBNコード:9784480097637
※ご注文前に以下必ずご確認ください※



書籍商品の購入に関するご注意

関連人物・出版社
発売日
2017/01
商品説明
数学基礎論―それは20世紀とともに始まった、新しい数学の分野である。その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。「ミレニアム懸賞問題」として知られるP=NP問題(P≠NP予想)やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。
収録内容
  1. 数学における集合論的方法
  2. 集合論の公理
  3. 数学的命題の形式化
  4. 数学的推論の形式化
  5. 数学的証明の形式化
  6. ゲーデル数
  7. 不完全性定理
  8. 自然数論の形式化
  9. 自然数論に対する無矛盾性証明の必要性
  10. 自然数論の無矛盾性証明のアイディア
  11. 直観論理
  12. ファジー論理
  13. 計算論
  14. 集合論の課題
  15. 基礎論の将来