鳥取県立図書館
図書館HP
資料検索
資料紹介
Myライブラリ
ヘルプ
図書館HP
>
本サイトにはJavaScriptの利用を前提とした機能がございます。
お客様の環境では一部の機能がご利用いただけない可能性がございますので、ご了承ください。
資料詳細
詳細蔵書検索
ジャンル検索
1 件中、 1 件目
逆数学
利用可
予約かごへ
ジョン・スティルウェル/著 -- 森北出版 -- 2019.2 -- 410
SDI
本棚へ
所蔵は
1
件です。現在の予約件数は
0
件です。
所蔵館
所蔵場所
請求記号
資料コード
資料区分
帯出区分
状態
鳥取県立
一般
410/ステイ/一般
120775294
一般
利用可
ページの先頭へ
資料詳細
タイトル
逆数学
書名ヨミ
ギャクスウガク
副書名
定理から公理を「証明」する
著者名
ジョン・スティルウェル
/著,
田中 一之
/監訳・解説,
川辺 治之
/訳
著者ヨミ
スティルウェル,ジョン , タナカ,カズユキ , カワベ,ハルユキ
出版者
森北出版
出版年
2019.2
ページ数等
217p
大きさ
22cm
原書名
原タイトル:REVERSE MATHEMATICS
一般件名
定理(数学)
,
証明(数学)
,
逆問題
ISBN
4-627-05451-3
ISBN13桁
978-4-627-05451-6
定価
3600円
問合わせ番号(書誌番号)
1120246551
NDC8版
410
NDC9版
410
内容紹介
定理の証明には、いったいどれくらいの公理が必要なのだろう?解析学の基礎を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。
著者紹介
【ジョン・スティルウェル】サンフランシスコ大学教授.19世紀と20世紀の数学の歴史,数論,幾何学,代数学,トポロジー,数学基礎論など,幅広い分野に興味をもつ.著書に,Mathematics and Its History(3rd edition,Springer,2010)〔邦訳:上野健爾,浪川幸彦監訳『数学のあゆみ〈上〉〈下〉』朝倉書店,2005,2008〕, Yearning for the Impossible: The Surprising Truths of Mathematics (A K Peters,Ltd.,2006)〔邦訳:柳谷晃,内田雅克訳『不可能へのあこがれ:数学の驚くべき真実』共立出版,2014〕, Elements of Mathematics: From Euclid to Godel(Princeton University Press,2016)〔邦訳:三宅克哉訳『初等数学論考』共立出版,2018〕などがある.(本データはこの書籍が刊行された当時に掲載されていたものです)
著者紹介
【田中一之】東北大学大学院理学研究科数学専攻教授.カリフォルニア大学バークレー校博士課程修了(Ph.D.).専門は数学基礎論.とくに,逆数学や不完全性定理の研究.著書に『ゲーデルと20世紀の論理学』(全4巻,東京大学出版会,2006-2007),訳書に『ゲーデルの定理:利用と誤用の不完全ガイド』(みすず書房,2011)など多数.(本データはこの書籍が刊行された当時に掲載されていたものです)
ページの先頭へ
内容一覧
タイトル
著者名
ページ
第1章 逆数学に至る歴史
第2章 古典的算術化
第3章 古典的解析学
第4章 計算可能性
第5章 計算の算術化
第6章 算術的内包公理
第7章 再帰的内包公理
第8章 全体像
ページの先頭へ