ゲーデルと20世紀の論理学3 在庫あり
税込4104円/本体3800円  

» 送料一律230円(大判特別書籍を除く)・代引きでご購入いただけます
» 詳しいご注文方法


他のオンライン書店で購入

アマゾン紀伊國屋BookWebhontoセブンネットショッピングブックサービスe-hon楽天ブックスHonyaClub丸善&ジュンク堂書店

 

ゲーデルと20世紀の論理学 3
ゲーデルと20世紀の論理学3 不完全性定理と算術の体系

田中 一之 編
ISBN978-4-13-064097-8, 発売日:2007年03月上旬, 判型:A5, 264頁

内容紹介

不完全な公理系のなかで,数学はどこまで展開可能なのか? そして,個々の数学理論に必要とされる公理とは? 本書では,2つの不完全性定理に現代的な証明を与え,それ以降の算術の形式体系について得られた現代ロジックについてくわしく解説する.


主要目次

序 不完全性定理とその背景(田中一之)
I 第一不完全性定理と第二不完全性定理(鹿島 亮)
第1章 計算論
第2章 ペアノ算術
第3章 第一不完全性定理
第4章 第二不完全性定理
第5章 証明可能性述語の詳細
II 逆数学と2階算術(山崎 武)
第1章 2階算術と部分体系
第2章 数学の展開と逆数学
第3章 逆数学周辺
III ダイアレクティカ解釈(白旗 優)
第1章 ダイアレクティカ解釈の背景 
第2章 ダイアレクティカ解釈の概要
第3章 ダイアレクティカ解釈の展開


分野別クイックジャンプ