レーモンド・M.スマリヤン

Individuals/organizations Page

Books

数理論理学

レーモンド・M.スマリヤン

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784621087855
ISBN 10 : 4621087851
Format
：
Books
Publisher
：
丸善出版
Release Date
：
November/2014
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

Book Meter Reviews

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

powered by

  • ほにょこ

    読了日：2019/06/17

    ★★★☆☆ 「記号論理学」の続編。 最初は方は分かりやすくて面白いけれど、だんだん形式的で無味乾燥になっていきます。 不完全性定理の準備のような内容でした。

  • kamocyc

    読了日：2020/03/07

    最初のほうだけ読んだ．最初の方は豊富な例で議論をしていて（冗長ではあるが）それはそれで面白い．

レビューをもっと見る

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

Recommend Items

Sell This Item