ちくま学芸文庫<br> 数学基礎論

個数:
電子版価格 ¥935
  • 電書あり

ちくま学芸文庫
数学基礎論

  • 出版社からのお取り寄せとなります。
    入荷までにおよそ1~3週間程度かかります。
    ※商品によっては、品切れ等で入手できない場合がございます。
  • 出荷予定日とご注意事項
    ※上記を必ずご確認ください

    【出荷までの期間】
    ■通常、およそ1~3週間程度

    【ご注意事項】 ※必ずお読みください
    ◆上記期間よりも日数がかかる場合がございます。
    ◆お届け日のご指定は承っておりません。
    ◆品切れ・絶版等により入手できない場合がございます。
    ◆品切れ・絶版等の確認に2週間以上かかる場合がございます。
    ◆「帯」はお付けできない場合がございます。
    ◆特に表記のない限り特典はありません。
  • 店舗受取サービスはご利用いただけません。

  • サイズ 文庫判/ページ数 202p/高さ 15cm
  • 商品コード 9784480097637
  • NDC分類 410.9
  • Cコード C0141

内容説明

数学基礎論―それは20世紀とともに始まった、新しい数学の分野である。その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。「ミレニアム懸賞問題」として知られるP=NP問題(P≠NP予想)やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。

目次

数学における集合論的方法
集合論の公理
数学的命題の形式化
数学的推論の形式化
数学的証明の形式化
ゲーデル数
不完全性定理
自然数論の形式化
自然数論に対する無矛盾性証明の必要性
自然数論の無矛盾性証明のアイディア
直観論理
ファジー論理
計算論
集合論の課題
基礎論の将来

著者等紹介

前原昭二[マエハラショウジ]
1927‐92年。東京生まれ。東京大学理学部数学科卒業。東京教育大学(のち筑波大学)教授、東京工業大学教授等を歴任

竹内外史[タケウチガイシ]
1926年、石川県生まれ。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授、プリンストン高等研究所所員等を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。

出版社内容情報

集合をめぐるパラドックス、ゲーデルの不完全性定理からファジー論理、P=NP問題などのより現代的な話題まで。大家による入門書。解説 田中一之

前原 昭二[マエハラ ショウジ]

竹内 外史[タケウチ ガイシ]