数学基礎論序説 : 数の体系への論理的アプローチ Logical foundations of mathematics

Author(s)

Bibliographic Information

数学基礎論序説 : 数の体系への論理的アプローチ = Logical foundations of mathematics

田中一之著

裳華房, 2019.6

Other Title

数学基礎論序説 : 数の体系への論理的アプローチ

Title Transcription

スウガク キソロン ジョセツ : スウ ノ タイケイ エノ ロンリテキ アプローチ

Available at  / 126 libraries

Note

数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。1970年頃までの数学基礎論を展望し、数学基礎論の新しいプログラム「逆数学」とその周辺に焦点を当て、さまざまな分析法を案内する。

文献案内: p [329]-340

索引: p[362]-374

Description and Table of Contents

Description

意味と形式の織り成す世界へ—。数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。２１世紀の数学基礎論を切り拓く力作。

Table of Contents

  • 数学基礎論の考え方
  • 第１部　数理論理学入門（等式理論；１階論理；モデルの理論）
  • 第２部　自然数と実数の形式体系（１階算術と不完全性定理；１階算術の超準モデル；実閉体の完全性と決定可能性）
  • 第３部　２階算術と逆数学（実数論と逆数学；２階算術と超準的方法）

by "BOOK database"

Details

  • NCID
    BB28388818
  • ISBN
    • 9784785315757
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    xii, 374p
  • Size
    22cm
  • Classification
  • Subject Headings
Page Top