田中一之

Individuals/organizations Page

Books

ゲ-デルと20世紀の論理学(ロジック)3

田中一之

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784130640978
ISBN 10 : 4130640976
Format
：
Books
Publisher
：
東京大学出版会
Release Date
：
March/2007
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

  • kozima

    読了日：2010/09/23

    ざっと眺めた感じ。詳細を知りたくなったらもっと時間をかけて読み直そう。

レビューをもっと見る

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

Recommend Items

Sell This Item