資料詳細

  • 1 件中、 1 件目

【図書】 逆数学

定理から公理を「証明」する --
ジョン・スティルウェル ／著, 田中一之 ／監訳・解説, 川辺治之 ／訳   -- 森北出版 -- ２０１９．２ -- ２２ｃｍ -- ２１７ｐ

資料詳細

タイトル 逆数学
副書名 定理から公理を「証明」する
著者名等 ジョン・スティルウェル ／著, 田中一之 ／監訳・解説, 川辺治之 ／訳  
出版 森北出版 ２０１９．２
大きさ等 ２２ｃｍ ２１７ｐ
分類 410
件名 定理（数学） , 証明（数学） , 逆問題
注記 原タイトル：ＲＥＶＥＲＳＥ　ＭＡＴＨＥＭＡＴＩＣＳ
注記 文献あり　索引あり
著者紹介 【ジョン・スティルウェル】サンフランシスコ大学教授．１９世紀と２０世紀の数学の歴史，数論，幾何学，代数学，トポロジー，数学基礎論など，幅広い分野に興味をもつ．著書に，Ｍａｔｈｅｍａｔｉｃｓ　ａｎｄ　Ｉｔｓ　Ｈｉｓｔｏｒｙ（３ｒｄ　ｅｄｉｔｉｏｎ，Ｓｐｒｉｎｇｅｒ，２０１０）〔邦訳：上野健爾，浪川幸彦監訳『数学のあゆみ〈上〉〈下〉』朝倉書店，２００５，２００８〕，　Ｙｅａｒｎｉｎｇ　ｆｏｒ　ｔｈｅ　Ｉｍｐｏｓｓｉｂｌｅ：　Ｔｈｅ　Ｓｕｒｐｒｉｓｉｎｇ　Ｔｒｕｔｈｓ　ｏｆ　Ｍａｔｈｅｍａｔｉｃｓ　（Ａ　Ｋ　Ｐｅｔｅｒｓ，Ｌｔｄ．，２００６）〔邦訳：柳谷晃，内田雅克訳『不可能へのあこがれ：数学の驚くべき真実』共立出版，２０１４〕，　Ｅｌｅｍｅｎｔｓ　ｏｆ　Ｍａｔｈｅｍａｔｉｃｓ：　Ｆｒｏｍ　Ｅｕｃｌｉｄ　ｔｏ　Ｇoｄｅｌ（Ｐｒｉｎｃｅｔｏｎ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ，２０１６）〔邦訳：三宅克哉訳『初等数学論考』共立出版，２０１８〕などがある．（本データはこの書籍が刊行された当時に掲載されていたものです）
内容紹介 定理の証明には、いったいどれくらいの公理が必要なのだろう？解析学の基礎を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。
要旨 定理の証明にはいったい、どれくらいの公理が必要なのだろう？考え方と歴史を知るための入門ガイド。
目次 第１章　逆数学に至る歴史；第２章　古典的算術化；第３章　古典的解析学；第４章　計算可能性；第５章　計算の算術化；第６章　算術的内包公理；第７章　再帰的内包公理；第８章　全体像
ISBN(13)、ISBN 978-4-627-05451-6　　 4-627-05451-3
書誌番号 1113663425
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113663425

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 ４階自然科学 Map 410 一般書 利用可 - 2064265426 iLisvirtual

ページの先頭へ