• 本

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

出版社名 森北出版
出版年月 2019年2月
ISBNコード 978-4-627-05451-6
4-627-05451-3
税込価格 3,960円
頁数・縦 217P 22cm

商品内容

要旨

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

目次

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

著者紹介

スティルウェル,ジョン (スティルウェル,ジョン)   Stillwell,John
サンフランシスコ大学教授。19世紀と20世紀の数学の歴史、数論、幾何学、代数学、トポロジー、数学基礎論など、幅広い分野に興味をもつ
田中 一之 (タナカ カズユキ)  
東北大学大学院理学研究科数学専攻教授。カリフォルニア大学バークレー校博士課程修了(Ph.D.)。専門は数学基礎論。とくに、逆数学や不完全性定理の研究
川辺 治之 (カワベ ハルユキ)  
日本ユニシス株式会社総合技術研究所上席研究員。東京大学理学部数学科卒(本データはこの書籍が刊行された当時に掲載されていたものです)