Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
6Activity

Table Of Contents

Introduction
Cantor’s paradise
2.1 The beginning of set-theory
2.2 Basic concepts
3.1 Some mathematical concepts
3.2 Relations
3.3 Functions
3.4 Induction Methods
3.4.1 Induction
3.4.2 Deduction
3.4.3 The principle of induction
3.5 Real numbers
3.5.1 Dedekind’s cuts
3.5.2 Cantor’s chains of segments
3.5.3 Cauchy-sequences
3.5.4 Properties of the three definitions
3.6 Infinite sets
3.7 The Continuum Hypothesis
3.8. CARDINAL AND ORDINAL NUMBERS AND PARADOXES 63
3.8 Cardinal and Ordinal numbers and Para-
3.8.1 Cardinal numbers and Cantor’s Paradox
3.8.2 Ordinal numbers and Burali-Forti’s Paradox
Peano and Frege
4.1 Peano’s arithmetic
4.2 Frege’s work
Russell
5.1 Russell’s paradox
5.2 Consequences and philosophies
5.3 Zermelo Fraenkel
5.3.1 Axiomatic set theory
5.3.2 Zermelo Fraenkel (ZF) Axioms
Hilbert
6.1 Hilbert’s proof theory
6.2 Hilbert’s 23 problems
7.1 Russell and Whitehead’s Principia Ma-
7.2 Ramsey, Hilbert and Ackermann
7.3 Quine
8.1 Informally: G¨odel’s incompleteness theorems
8.2 Formally: G¨odel’s Incompleteness Theorems
8.2.1 On formally undecidable propositions
8.2.2 The impossibility of an ‘internal’ proof of consis-
8.3 G¨odel’s theorem and Peano Arithmetic
8.4 Consequences
8.5 Neumann-Bernays-G¨odel axioms
Church and Turing
9.1 Turing and Turing Machine
9.2. CHURCH AND THE LAMBDA CALCULUS 153
9.2 Church and the Lambda Calculus
9.3 The Church-Turing thesis
Conclusion
Timeline and Images
0 of .
Results for:
No results containing your search query
P. 1
The Theory of the Foundations of Mathematics

The Theory of the Foundations of Mathematics

Ratings: (0)|Views: 213|Likes:
Published by kirjekuori

More info:

Published by: kirjekuori on Jun 02, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/09/2012

pdf

text

original

You're Reading a Free Preview
Pages 4 to 8 are not shown in this preview.
You're Reading a Free Preview
Pages 12 to 149 are not shown in this preview.
You're Reading a Free Preview
Page 153 is not shown in this preview.
You're Reading a Free Preview
Pages 157 to 162 are not shown in this preview.
You're Reading a Free Preview
Pages 166 to 194 are not shown in this preview.

Activity (6)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
salmanfrs liked this
d280299 liked this
dave_765 liked this

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->