蔵書情報
この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。
書誌情報サマリ
書名 |
数学基礎論 Math & Science ちくま学芸文庫 マ41-1
|
著者名 |
前原 昭二/著
|
著者名ヨミ |
マエハラ,ショウジ |
出版者 |
筑摩書房
|
出版年月 |
2017.1 |
この資料に対する操作
電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。
資料情報
各蔵書資料に関する詳細情報です。
No. |
所蔵館 |
資料番号 |
請求番号 |
資料種別 |
配架場所 |
帯出区分 |
状態 |
貸出
|
1 |
高川 | 209192954 | 410.9/マ/ | 一般図書 | 成人室 | | 在庫 |
○ |
関連資料
この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。
書誌詳細
この資料の書誌詳細情報です。
タイトルコード |
1003000305381 |
書誌種別 |
図書 |
書名 |
数学基礎論 Math & Science ちくま学芸文庫 マ41-1 |
書名ヨミ |
スウガク キソロン(チクマ ガクゲイ ブンコ) |
著者名 |
前原 昭二/著
竹内 外史/著
|
著者名ヨミ |
マエハラ,ショウジ タケウチ,ガイシ |
出版者 |
筑摩書房
|
出版年月 |
2017.1 |
ページ数 |
202p |
大きさ |
15cm |
ISBN |
4-480-09763-7 |
ISBN |
978-4-480-09763-7 |
分類記号 |
410.9
|
内容紹介 |
日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。ラッセルのパラドックス、ゲーデルの不完全性定理から最近の話題までを一望する。 |
件名1 |
数学基礎論
|
(他の紹介)内容紹介 |
数学基礎論―それは20世紀とともに始まった、新しい数学の分野である。その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。「ミレニアム懸賞問題」として知られるP=NP問題(P≠NP予想)やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。 |
(他の紹介)目次 |
数学における集合論的方法 集合論の公理 数学的命題の形式化 数学的推論の形式化 数学的証明の形式化 ゲーデル数 不完全性定理 自然数論の形式化 自然数論に対する無矛盾性証明の必要性 自然数論の無矛盾性証明のアイディア 直観論理 ファジー論理 計算論 集合論の課題 基礎論の将来 |
(他の紹介)著者紹介 |
前原 昭二 1927‐92年。東京生まれ。東京大学理学部数学科卒業。東京教育大学(のち筑波大学)教授、東京工業大学教授等を歴任(本データはこの書籍が刊行された当時に掲載されていたものです) 竹内 外史 1926年、石川県生まれ。東京大学理学部数学科卒業。東京教育大学教授、イリノイ大学教授、プリンストン高等研究所所員等を歴任(本データはこの書籍が刊行された当時に掲載されていたものです) |
書店リンク
書店リンク
オンライン書店にてこの本を購入できるか調べることができます。
|
内容細目
前のページへ