The Foundations of Mathematics 9781904987147
278 65 2MB
English Pages 262 Year 2011
Table of contents :
Cover
Title
Copyright
Contents
Preface
Chapter 0 Introduction
0.1 Prerequisites
0.2 Predicate Logic
0.3 Why Read This Book?
0.4 The Foundations of Mathematics
0.5 How to Read This Book
Chapter I Set Theory
I.1 Plan
I.2 The Axioms
I.3 Two Remarks on Presentation
I.4 Set theory is the the theory of everything
I.5 Counting
I.6 Extensionality, Comprehension, Pairing, Union
I.7 Relations, Functions, Discrete Mathematics
I.7.1 Basics
I.7.2 Foundational Remarks
I.7.3 Well-orderings
I.8 Ordinals
I.9 Induction and Recursion on the Ordinals
I.10 Power Sets
I.11 Cardinals
I.12 The Axiom of Choice (AC)
I.13 Cardinal Arithmetic
I.14 The Axiom of Foundation
I.15 Real Numbers and Symbolic Entities
Chapter II Model Theory and Proof Theory
II.1 Plan
II.2 Historical Introduction to Proof Theory
II.3 NON-Historical Introduction to Model Theory
II.4 Polish Notation
II.5 First-Order Logic Syntax
II.6 Abbreviations
II.7 First-Order Logic Semantics
II.8 Further Semantic Notions
II.9 Tautologies
II.10 Formal Proofs
II.11 Some Strategies for Constructing Proofs
II.12 The Completeness Theorem
II.13 Complete Theories
II.14 Equational and Horn Theories
II.15 Extensions by Definitions
II.16 Elementary Submodels
II.17 Definability and Absoluteness in Models of Set Theory
II.18 Some Weaker Set Theories
II.19 Other Proof Theories
Chapter III The Philosophy of Mathematics
III.1 What Is Really True?
III.2 Keeping Them Honest
III.3 On the EI Rule and AC
Chapter IV Recursion Theory
IV.1 Overview
IV.2 The Church-Turing Thesis
IV.3 Δ1 relations on HF
IV.4 Diagonal Arguments
IV.5 Decidability in Logic
Bibliography
Index
Back Cover
Cover
Title
Copyright
Contents
Preface
Chapter 0 Introduction
0.1 Prerequisites
0.2 Predicate Logic
0.3 Why Read This Book?
0.4 The Foundations of Mathematics
0.5 How to Read This Book
Chapter I Set Theory
I.1 Plan
I.2 The Axioms
I.3 Two Remarks on Presentation
I.4 Set theory is the the theory of everything
I.5 Counting
I.6 Extensionality, Comprehension, Pairing, Union
I.7 Relations, Functions, Discrete Mathematics
I.7.1 Basics
I.7.2 Foundational Remarks
I.7.3 Well-orderings
I.8 Ordinals
I.9 Induction and Recursion on the Ordinals
I.10 Power Sets
I.11 Cardinals
I.12 The Axiom of Choice (AC)
I.13 Cardinal Arithmetic
I.14 The Axiom of Foundation
I.15 Real Numbers and Symbolic Entities
Chapter II Model Theory and Proof Theory
II.1 Plan
II.2 Historical Introduction to Proof Theory
II.3 NON-Historical Introduction to Model Theory
II.4 Polish Notation
II.5 First-Order Logic Syntax
II.6 Abbreviations
II.7 First-Order Logic Semantics
II.8 Further Semantic Notions
II.9 Tautologies
II.10 Formal Proofs
II.11 Some Strategies for Constructing Proofs
II.12 The Completeness Theorem
II.13 Complete Theories
II.14 Equational and Horn Theories
II.15 Extensions by Definitions
II.16 Elementary Submodels
II.17 Definability and Absoluteness in Models of Set Theory
II.18 Some Weaker Set Theories
II.19 Other Proof Theories
Chapter III The Philosophy of Mathematics
III.1 What Is Really True?
III.2 Keeping Them Honest
III.3 On the EI Rule and AC
Chapter IV Recursion Theory
IV.1 Overview
IV.2 The Church-Turing Thesis
IV.3 Δ1 relations on HF
IV.4 Diagonal Arguments
IV.5 Decidability in Logic
Bibliography
Index
Back Cover
- Author / Uploaded
- Kenneth Kunen
![The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics [1 ed.]
0817648224, 9780817648220](https://ebin.pub/img/200x200/the-legacy-of-mario-pieri-in-foundations-and-philosophy-of-mathematics-1nbsped-0817648224-9780817648220.jpg)
![Introduction to the foundations of applied mathematics [2 ed.]
9783030242602, 9783030242619](https://ebin.pub/img/200x200/introduction-to-the-foundations-of-applied-mathematics-2nbsped-9783030242602-9783030242619.jpg)
![Wittgenstein, Finitism, and the Foundations of Mathematics (Oxford Philosophical Monographs) [1 ed.]
9780198235163, 9780199550470, 019823516X](https://ebin.pub/img/200x200/wittgenstein-finitism-and-the-foundations-of-mathematics-oxford-philosophical-monographs-1nbsped-9780198235163-9780199550470-019823516x.jpg)
