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

Table Of Contents

Introduction
The Problem of Consistency
Absolute Proofs of Consistency
The Systematic Codification of Formal Logic
The Idea of Mapping and Its Use in Mathematics
Gödel’s Proofs
A Gödel numbering
B The arithmetization of meta-mathematics
C The heart of Gödel’s argument
Concluding Reflections
Brief Bibliography
Index
0 of .
Results for:
No results containing your search query
P. 1
Nagel Newman Godelsproof

Nagel Newman Godelsproof

Ratings: (0)|Views: 34 |Likes:
Published by Katthya Gutiérrez

More info:

Published by: Katthya Gutiérrez on Nov 10, 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

11/11/2011

pdf

text

original

You're Reading a Free Preview
Pages 4 to 43 are not shown in this preview.
You're Reading a Free Preview
Pages 47 to 98 are not shown in this preview.
You're Reading a Free Preview
Pages 102 to 106 are not shown in this preview.
You're Reading a Free Preview
Pages 110 to 129 are not shown in this preview.

You're Reading a Free Preview

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