田中一之

Individuals/organizations Page

Books

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

田中一之

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784130639002
ISBN 10 : 4130639005
Format
：
Books
Publisher
：
東京大学出版会
Release Date
：
April/2012
Release Country
：
Japan

Content Description

待望の本格的ロジック指南書。イラスト付きでていねいな解説。「不完全性定理」完全攻略ガイド。

目次 : 原論文訳・解説（体系Ｐ、ゲーデル数、再帰的関数/ メタ数学の再帰的表現/ 第一不完全性定理/ １階算術への還元/ 第二不完全性定理）/ 補遺（１階算術と論理式の階層/ 計算可能性理論/ １階算術の形式体系/ 文献案内）

（「BOOK」データベースより）

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
Write you own review

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • うらじ

    読了日：2012/08/01

    挑んだけど挫折。

  • holo

    読了日：2023/02/08

    本書は、日本語で、解説付きで読める原論文としての意義がある。まず、冒頭に「毎年10人くらい完読してくれれば十分」といったことが書かれているように、想定読者は相当狭い。私は完読できなかった。原論文に並行して解説が付くわけだが、大半は同義反復である。それぐらい、原論文が丁寧に書かれているということでもある。訳は良質であるが、多少の誤記はある（例：p.46「n項関係符号」p.117「s>1」）。 読者への助言としては、①読む目的を一考すること。②納得or証明? ③定理Vの証明の理解には定理VIIの証明が役立つ。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items

Sell This Item