相模原市の図書館

  1. トップへ
  2. 資料検索
  3. 蔵書検索・予約
  4. 資料詳細

ログインしていません

蔵書検索・予約

ハイライト：ONOFF

書名　：逆数学　定理から公理を「証明」する　
著者　：ジョン・スティルウェル
出版者：森北出版
出版年：2019年2月
分類：410
形態：図書
◎本のあらすじ
定理の証明にはいったい、どれくらいの公理が必要なのだろう？考え方と歴史を知るための入門ガイド。
◎目次
第１章　逆数学に至る歴史
第２章　古典的算術化
第３章　古典的解析学
第４章　計算可能性
第５章　計算の算術化
第６章　算術的内包公理
第７章　再帰的内包公理
第８章　全体像
◎著者紹介
スティルウェル，ジョン
サンフランシスコ大学教授。１９世紀と２０世紀の数学の歴史、数論、幾何学、代数学、トポロジー、数学基礎論など、幅広い分野に興味をもつ(本データはこの書籍が刊行された当時に掲載されていたものです)
田中 一之
東北大学大学院理学研究科数学専攻教授。カリフォルニア大学バークレー校博士課程修了（Ｐｈ．Ｄ．）。専門は数学基礎論。とくに、逆数学や不完全性定理の研究(本データはこの書籍が刊行された当時に掲載されていたものです)
川辺 治之
日本ユニシス株式会社総合技術研究所上席研究員。東京大学理学部数学科卒(本データはこの書籍が刊行された当時に掲載されていたものです)
※予約できる点数は、１人１０点までです。
※長期未返却資料がある場合、お返しいただくまで新たな資料の予約申込みはできません。
※町田市に在住もしくは、多摩美術大学・東京工科大学・桜美林大学に在学、在勤で利用者登録されている方は、ホームページからの予約サービスは受けることができません。

所蔵

所蔵件数は1件です。

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

No.所在場所置き場所分類図書記号巻冊記号資料コード形態状態禁帯
1相模大野図書館開架410 33677378図書在架

詳細情報

名称書誌情報
書名 ｷﾞｬｸｽｳｶﾞｸ
逆数学
副書名 ﾃｲﾘ ｶﾗ ｺｳﾘ ｵ ｼｮｳﾒｲ ｽﾙ
定理から公理を「証明」する
著者名１ ｼﾞｮﾝ ｽﾃｨﾙｳｪﾙ
ジョン・スティルウェル／著
【ジョン・スティルウェル】サンフランシスコ大学教授．１９世紀と２０世紀の数学の歴史，数論，幾何学，代数学，トポロジー，数学基礎論など，幅広い分野に興味をもつ．著書に，Ｍａｔｈｅｍａｔｉｃｓ　ａｎｄ　Ｉｔｓ　Ｈｉｓｔｏｒｙ（３ｒｄ　ｅｄｉｔｉｏｎ，Ｓｐｒｉｎｇｅｒ，２０１０）〔邦訳：上野健爾，浪川幸彦監訳『数学のあゆみ〈上〉〈下〉』朝倉書店，２００５，２００８〕，　Ｙｅａｒｎｉｎｇ　ｆｏｒ　ｔｈｅ　Ｉｍｐｏｓｓｉｂｌｅ：　Ｔｈｅ　Ｓｕｒｐｒｉｓｉｎｇ　Ｔｒｕｔｈｓ　ｏｆ　Ｍａｔｈｅｍａｔｉｃｓ　（Ａ　Ｋ　Ｐｅｔｅｒｓ，Ｌｔｄ．，２００６）〔邦訳：柳谷晃，内田雅克訳『不可能へのあこがれ：数学の驚くべき真実』共立出版，２０１４〕，　Ｅｌｅｍｅｎｔｓ　ｏｆ　Ｍａｔｈｅｍａｔｉｃｓ：　Ｆｒｏｍ　Ｅｕｃｌｉｄ　ｔｏ　Ｇöｄｅｌ（Ｐｒｉｎｃｅｔｏｎ　Ｕｎｉｖｅｒｓｉｔｙ　Ｐｒｅｓｓ，２０１６）〔邦訳：三宅克哉訳『初等数学論考』共立出版，２０１８〕などがある．（本データはこの書籍が刊行された当時に掲載されていたものです）
著者名２ ﾀﾅｶ ｶｽﾞﾕｷ
田中　一之／監訳・解説
【田中一之】東北大学大学院理学研究科数学専攻教授．カリフォルニア大学バークレー校博士課程修了（Ｐｈ．Ｄ．）．専門は数学基礎論．とくに，逆数学や不完全性定理の研究．著書に『ゲーデルと２０世紀の論理学』（全４巻，東京大学出版会，２００６－２００７），訳書に『ゲーデルの定理：利用と誤用の不完全ガイド』（みすず書房，２０１１）など多数．（本データはこの書籍が刊行された当時に掲載されていたものです）
著者名３ ｶﾜﾍﾞ ﾊﾙﾕｷ
川辺　治之／訳
出版者 ﾓﾘｷﾀｼｭｯﾊﾟﾝ
森北出版
出版年 201902
分類 410
ページ ２１７ｐ
サイズ ２２ｃｍ
ＩＳＢＮ 978-4-627-05451-6
価格 3600
内容紹介 定理の証明には、いったいどれくらいの公理が必要なのだろう？解析学の基礎を通して、逆数学の基本的な考え方を解説。要所要所で歴史的な話題にも触れながら、読者をナビゲートしていく。
一般注記 第１章　逆数学に至る歴史；第２章　古典的算術化；第３章　古典的解析学；第４章　計算可能性；第５章　計算の算術化；第６章　算術的内包公理；第７章　再帰的内包公理；第８章　全体像
件名 定理（数学）
証明（数学）
逆問題

関連資料

この資料を見た人は、こんな資料も見ています。

詳細：表示非表示

サイトマップ