田中一之

Individuals/organizations Page

Books

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

田中一之

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784130640961
ISBN 10 : 4130640968
Format
：
Books
Publisher
：
東京大学出版会
Release Date
：
October/2006
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/03

    とりあえず読んだけど、この先に何があるのだろう。あと哲学は何をしようとしているのかわからないなと。

  • holo

    学生時に前半の完全性定理を写経しつつ、理解しながら最後まで追った思い出。こういう本当に気持ちの良い数学書というのは、まず、それを見つけるのが難しい。だから、レベルや興味に合った書に順々とアクセスできる能力・運というのは、知への条件なんだろうな。

レビューをもっと見る

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

Recommend Items

Sell This Item