大学出版部協会

 

 証明不可能なことの証明ゲーデルに挑む

ゲーデルに挑む 証明不可能なことの証明

A5判 176ページ
価格:2,860円 (消費税:260円)
ISBN978-4-13-063900-2 C1041
奥付の初版発行年月:2012年04月

内容紹介

「不完全性定理」を完全に理解したい読者のために——.原論文の日本語訳とともにその内容について徹底解説.ロジック初心者にも配慮し,記号の定義などの基本から,ていねいに説明をしていく.ノートとペンを用意して,原典の論理展開を味わってみよう.


目次

はじめに
序 ゲーデルと不完全性定理
原論文 訳・解説
 原論文第1節 概要
 原論文第2節(その1) 体系P、ゲーデル数、再帰的関数
 原論文第2節(その2) メタ数学の再帰的表現
 原論文第2節(その3) 第一不完全性定理
 原論文第3節 1階算術への還元
 原論文第4節 第二不完全性定理
補遺


一般社団法人 大学出版部協会 Phone 03-3511-2091 〒102-0073 東京都千代田区九段北1丁目14番13号 メゾン萬六403号室
このサイトにはどなたでも自由にリンクできます。掲載さ>れている文章・写真・イラストの著作権は、それぞれの著作者にあります。
当協会 スタッフによるもの、上記以外のものの著作権は一般社団法人大学出版部協会にあります 。