逆数学 : 定理から公理を「証明」する

• 資料種別: 図書
• ISBN: 978-4-627-05451-6
• タイトル: 逆数学 : 定理から公理を「証明」する
• タイトルよみ: ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル
• 著者・編者: ジョン・スティルウェル 著; 田中一之 監訳・解説; 川辺治之 訳
• 著者標目: Stillwell, John ( 01003845 )典拠; 田中, 一之, 1955- タナカ, カズユキ, 1955- ( 00541946 )典拠; 川辺, 治之 カワベ, ハルユキ ( 01137123 )典拠
• 出版事項: 東京 : 森北出版
• 出版年月日等: 2019.2
• 出版年（W3CDTF）: 2019
• 数量: 217p
• 大きさ: 22cm
• その他のタイトル: REVERSE MATHEMATICS
• 出版地（国名コード）: JP
• 本文の言語コード: jpn
• 原文の言語コード: eng
• 件名標目: 数学基礎論 スウガクキソロン ( 00571525 )典拠
• NDC10版: 410.9 : 数学
• NDLC: MA41
• 対象利用者: 一般
• 一般注記: 原タイトル: REVERSE MATHEMATICS
• 書誌注記: 文献あり 索引あり
• 入手条件・定価: 3600円
• 所蔵機関: 国立国会図書館
• 請求記号: MA41-M2
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 029480986; http://id.ndl.go.jp/bib/029480986
• 全国書誌番号: 23175264
• トーハンMARC番号: 33880185
• 目録規則: 日本目録規則1987年版改訂版
• 整理区分コード: 111

• 要約等: 公理と定理の関係を探る逆数学。その考え方と歴史を平易に解説。（提供元: 出版情報登録センター（JPRO））
• 著者紹介: ジョン・スティルウェル サンフランシスコ大学教授 Ph.D.田中 一之 東北大学教授 Ph.D.川辺 治之 日本ユニシス（株）総合技術研究所 上席研究員...

目次

第1章　逆数学に至る歴史

第2章　古典的算術化

第3章　古典的解析学

第4章　計算可能性

第5章　計算の算術化