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

人物・団体ページへ

本

スマリヤン　数理論理学 述語論理と完全性定理

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

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

基本情報

ジャンル
：
物理・科学・医学
ISBN/カタログNo
：
ISBN 13 : 9784621087855
ISBN 10 : 4621087851
フォーマット
：
本
出版社
：
丸善出版
発行年月
：
2014年11月
発売国
：
日本
共著・訳者・掲載人物など
:
高橋昌一郎, 村上祐子 ,  
追加情報
:
１９６ｐ；21

内容詳細

スマリヤンの最終講義。１階述語論理の本質へ。

目次 : 第１部　無限（無限の本質/ 数学的帰納法/ 一般化帰納法、ケーニッヒの補題、コンパクト性）/ 第２部　１階述語論理の基礎的結果（命題論理の基礎的結果/ １階述語論理：完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理/ 正規性定理）/ 第３部　公理系（公理的方法入門/ 命題論理の公理的方法（続き）/ １階述語論理の公理系）/ 第４部　１階述語論理（続き）（クレイグの補間補題/ ロビンソンの整合性定理/ ベスの定義可能性定理/ まとめ/ この先にあるもの）

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

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

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

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

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

読書メーターレビュー

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

powered by

  • ほにょこ さん

    読了日：2019/06/17

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

  • kamocyc さん

    読了日：2020/03/07

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

レビューをもっと見る

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

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

おすすめの商品

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