高橋昌一郎

Individuals/organizations Page

Books

スマリヤン 不完全性定理 改訳版

高橋昌一郎

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784621304785
ISBN 10 : 462130478X
Format
：
Books
Publisher
：
丸善出版
Release Date
：
December/2019
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
高橋昌一郎, 川辺治之, 村上祐子 ,  

Content Description

目次 : ゲーデルの証明の基礎概念/ 算術におけるタルスキーの定理/ べき乗に基づくペアノ算術における不完全性/ べき乗に基づかない算術/ ω無矛盾性に基づくゲーデルの証明/ ロッサー体系/ シェファードソンの表現定理/ 定義可能性と対角化/ 無矛盾性の証明不可能性/ 証明可能性と真理性に関する一般概念/ 自己言及体系

【著者紹介】
高橋昌一郎 : ウエスタンミシガン大学数学科および哲学科卒業後、ミシガン大学大学院哲学研究科修士課程修了。現在は國學院大學教授。専門は論理学・哲学

川辺治之 : 東京大学理学部数学科卒業。現在、日本ユニシス株式会社上席研究員

村上祐子 : 東京大学大学院理学系研究科修士課程修了後、インディアナ大学大学院博士課程修了。現在は立教大学特任教授。専門は情報哲学（本データはこの書籍が刊行された当時に掲載されていたものです）

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

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

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

Recommend Items

Sell This Item