高橋昌一郎

人物・団体ページへ

本

スマリヤン不完全性定理

高橋昌一郎

☆
☆
☆
☆
☆
レビューを書く 

基本情報

ジャンル
：
物理・科学・医学
ISBN/カタログNo
：
ISBN 13 : 9784621304785
ISBN 10 : 462130478X
フォーマット
：
本
出版社
：
丸善出版
発行年月
：
2019年12月
発売国
：
日本
共著・訳者・掲載人物など
:
高橋昌一郎, 川辺治之, 村上祐子 ,  
追加情報
:
１７８ｐ；22

内容詳細

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

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

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

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

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

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0
レビューを書く

物理・科学・医学 に関連する商品情報

おすすめの商品

CD・DVD・レコード・本・ゲームを売るなら
HMV宅配買取