ログインしていません

蔵書検索・予約

条件入力に戻る

ハイライト：ON OFF

出版年：2017年1月

分類：410.9

形態：図書

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

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

前原昭二: １９２７‐９２年。東京生まれ。東京大学理学部数学科卒業。東京教育大学（のち筑波大学）教授、東京工業大学教授等を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)

竹内外史: １９２６年、石川県生まれ。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授、プリンストン高等研究所所員等を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)

※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵件数は1件です。

現在の予約件数は0件です。

No.	所在場所	置き場所	分類	図書記号	巻冊記号	資料コード	形態	状態	禁帯
1	橋本図書館	開架	410.9			32340127	図書	在架

名称	書誌情報
書名	ｽｳｶﾞｸｷｿﾛﾝ
	数学基礎論
叢書名	ﾁｸﾏｶﾞｸｹﾞｲﾌﾞﾝｺ
	ちくま学芸文庫
	マ４１－１
叢書名２	ﾏｽｱﾝﾄﾞｻｲｴﾝｽ
	Ｍａｔｈ　＆　Ｓｃｉｅｎｃｅ
著者名１	ﾏｴﾊﾗｼｮｳｼﾞ
	前原　昭二／著
著者名２	ﾀｹｳﾁｶﾞｲｼ
	竹内　外史／著
出版者	ﾁｸﾏｼｮﾎﾞｳ
	筑摩書房
出版年	201701
分類	410.9
ページ	２０２ｐ
サイズ	１５ｃｍ
ＩＳＢＮ	978-4-480-09763-7
価格	1000
内容紹介	集合をめぐるパラドックス、ゲーデルの不完全性定理からファジー論理、Ｐ＝ＮＰ問題まで。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。
一般注記	放送大学教育振興会　１９９０年刊の再刊
件名	数学基礎論