嘉田勝

Individuals/organizations Page

Books

論理学への数学的手引き

嘉田勝

☆
☆
☆
☆
☆
Write review 

Product Details

Genre
：
Sciences&Physics
ISBN/Catalogue Number
：
ISBN 13 : 9784861137099
ISBN 10 : 4861137098
Format
：
Books
Publisher
：
1月と7月
Release Date
：
November/2020
Release Country
：
Japan
Co-Writer, Translator, Featured Individuals/organizations
:
ハーバート・B.エンダートン, 嘉田勝 ,  

Content Description

本書は、アメリカの大学の数学科において広く採用されている、標準的な数理論理学のテキストの翻訳です。数理論理学の基本定理である１階論理の完全性定理、ゲーデルの不完全性定理（第１および第２）の完全な証明に加え、完全性定理の応用例としての超準解析、２階論理の初歩までをカバーしています。

目次 : 第０章　集合についての予備知識/ 第１章　文論理（形式言語についての、非形式的な注意/ 文論理の言語　ほか）/ 第２章　１階論理（準備/ １階の言語　ほか）/ 第３章　決定不可能性（数論/ 後者関数のみをもつ自然数論　ほか）/ 第４章　２階論理（２階言語/ スコーレム関数　ほか）

【著者紹介】
嘉田勝 : １９７０年生まれ。１９９７年６月大阪府立大学大学院理学系研究科博士課程修了。日本学術振興会特別研究員、北見工業大学工学部助手などを経て、大阪府立大学大学院理学系研究科准教授。博士（理学）。専門は公理的集合論、集合論的位相空間論（本データはこの書籍が刊行された当時に掲載されていたものです）

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

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

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

Recommend Items

Sell This Item