Hay muchos libros artículos que buscan explicar la Incompletitud de Gödel Teoremas para los profanos. ¿Alguien sabe de algún bien material (en línea gratis es más apreciado) que trata de hacer lo mismo para Tarski del Undefinability Teorema? Gracias.
Respuesta
¿Demasiados anuncios?
La entrada de la Wikipedia vinculado en la cuestión de hecho no es malo, y tiene excelentes referencias. O usted puede tratar de esta pieza , que pretende "ser accesibles a cualquier persona con algo de experiencia en la lógica de primer orden". Y no lo entendí del teorema de Tarski si usted no tiene unos mínimos formal conocimiento de fondo. (Después de todo, el teorema es una limitante resultado acerca de lo que no se puede hacer en un formalizó la teoría de la satisfacción de ciertas condiciones mínimas, de modo que se necesita saber lo que es una teoría formalizada es!)
Libros de introducción de Gödel de los teoremas de incompletitud suelen tener secciones en Tarksi del teorema. Me gustaría recomendar especialmente Raymond Smullyan maravilloso de la Incompletitud de Gödel Teoremas porque se llega a Tarski muy rápidamente (o mi libro Gödel, pero el viaje dura más tiempo).
