Gödel primer teorema de la incompletitud nos dicen acerca de las limitaciones de la eficacia axiomatized formal de las teorías suficientemente fuerte como para hacer un poco de aritmética. Por lo que necesita al menos tener una noción de lo que es una manera efectiva axiomatized teoría formal es, si usted va a entender lo que está pasando. Para entender la "teoría formal de bits", ayudará a que se han encontrado con un poco de lógica formal; pero una buena introducción a Gödel se debe explicar el extra "efectivamente axiomatized de bits". Después de eso, la base argumentativa que se mueve en la demostración del primer teorema de la incompletitud son sorprendentemente sencillo (y era filosóficamente importante para Gödel, que esto es así) -- a pesar de que la cumplimentación de algunos de los detalles puede obtener más incómoda: así que usted no necesita traer los antecedentes de las matemáticas a la mesa con el fin de llegar a comprender la prueba.
Mi propio libro Una Introducción a Gödel los Teoremas fue escrito para personas que no tienen mucho de matemáticas, sino que han hecho una introducción a la lógica de curso, y muchas personas parecen encontrar bastante claro (supongo que no más de alguna familiaridad con la lógica elemental). También hay disponible gratuitamente versión abreviada de algunos de mi libro en forma de notas de la conferencia en http://www.logicmatters.net/resources/pdfs/gwt/GWT.pdf Hay sugerencias para la lectura en las secciones correspondientes de la guía de estudio en http://www.logicmatters.net/tyl
Usted puede encontrar que es muy útil para mirar Torkel de Franzen admirable pequeño libro del Teorema de Gödel: Una Guía Incompleta para su Uso y el Abuso que se da en una presentación informal y le dará una cierta comprensión de lo que está pasando, antes de decidir si hacer frente a un libro como el mío que entra en los detalles matemáticos.
