An Introduction to Gödel's Theorems

Description

Este libro de Peter Smith examina los Teoremas de Gödel, cómo se establecieron y por qué son importantes. Presenta una variedad inusual de pruebas para el Primer Teorema, muestra cómo probar el Segundo Teorema y explora una familia de resultados relacionados. Es accesible para estudiantes de filosofía con una formación formal limitada y adecuado para estudiantes de matemáticas que toman un primer curso de lógica matemática.