ゲーデルに挑む 在庫あり
税込2808円/本体2600円  

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


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

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

 

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

田中 一之
ISBN978-4-13-063900-2, 発売日:2012年04月下旬, 判型:A5, 176頁

内容紹介

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


主要目次

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



分野別クイックジャンプ