Set Theory, Logic and their Limitations pdf epub mobi txt 電子書下載2025

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Cambridge University Press

作者:Moshe Machover

出品人:

頁數:300

译者:

出版時間:1996-05-31

價格:USD 43.00

裝幀:Paperback

isbn號碼:9780521479981

叢書系列:

圖書標籤:

邏輯
set_theory
logic
2014
集閤論
邏輯學
數學基礎
模型論
公理係統
遞歸論
可計算性
悖論
哲學邏輯
元數學

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到小美書屋

book.quotespace.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

This is an introduction to set theory and logic that starts completely from scratch. The text is accompanied by many methodological remarks and explanations. A rigorous axiomatic presentation of Zermelo-Fraenkel set theory is given, demonstrating how the basic concepts of mathematics have apparently been reduced to set theory. This is followed by a presentation of propositional and first-order logic. Concepts and results of recursion theory are explained in intuitive terms, and the author proves and explains the limitative results of Skolem, Tarski, Church and Godel (the celebrated incompleteness theorems). For students of mathematics or philosophy this book provides an excellent introduction to logic and set theory.

著者簡介

圖書目錄

0. Mathematical induction
1. Sets and classes
2. Relations and functions
3. Cardinals
4. Ordinals
5. The axiom of choice
6. Finite cardinals and alephs
7. Propositional logic
8. First order logic
9. Facts from recursion theory
10. Limitative results
Appendix: Skolem's paradox
· · · · · · (收起)