書誌事項

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

ジョン・スティルウェル著 ; 川辺治之訳

森北出版, 2019.2

タイトル別名

Reverse mathematics : proofs from the inside out

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

タイトル読み

ギャクスウガク : テイリ カラ コウリ オ ショウメイ スル

大学図書館所蔵 件 / 106

この図書・雑誌をさがす

注記

監訳・解説: 田中一之

参考文献: p189-195, p204-205

索引: p207-217

内容説明・目次

内容説明

定理の証明にはいったい、どれくらいの公理が必要なのだろう?考え方と歴史を知るための入門ガイド。

目次

  • 第1章 逆数学に至る歴史
  • 第2章 古典的算術化
  • 第3章 古典的解析学
  • 第4章 計算可能性
  • 第5章 計算の算術化
  • 第6章 算術的内包公理
  • 第7章 再帰的内包公理
  • 第8章 全体像

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BB27733604
  • ISBN
    • 9784627054516
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 原本言語コード
    eng
  • 出版地
    東京
  • ページ数/冊数
    viii, 217p
  • 大きさ
    22cm
  • 分類
  • 件名
ページトップへ