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

著者

• 田中, 一之 タナカ, カズユキ

書誌事項

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

田中一之著

裳華房, 2019.6

タイトル別名

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

タイトル読み

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

注記

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

文献案内: p [329]-340

索引: p[362]-374

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB28388818
• ISBN:
  • 9784785315757
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xii, 374p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.9
  • NDC9 : 410.9
  • NDC10 : 410.9
• 件名:
  • BSH : 数学基礎論