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

Table Of Contents

1. Introducci´on
2. El problema de la consistencia
3. Pruebas absolutas de consistencia
4. La codificaci´on sistem´atica de la l´ogica formal
5. Un ejemplo de prueba absoluta de consistencia
6. La idea de representaci´on y su empleo en las matem´aticas
7. Las pruebas de G¨odel
Notas a Pie de P´agina
0 of .
Results for:
No results containing your search query
P. 1


Ratings: (0)|Views: 903 |Likes:
Published by leotagoras666

More info:

Published by: leotagoras666 on Mar 20, 2011
Copyright:Attribution Non-commercial


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





You're Reading a Free Preview
Pages 4 to 53 are not shown in this preview.
You're Reading a Free Preview
Pages 57 to 68 are not shown in this preview.

Activity (14)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
Andrej Badilla liked this
johnnyvillacis liked this
ricardlacroix liked this
ivasiton liked this
rosana_906460985 liked this
GVF liked this
gnopata liked this

You're Reading a Free Preview

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