Quiero estudiar la incompletitud de Gödel teoremas y busco un texto que proporcionan la lógica matemática con una bonita manera de hacer que me capaces de estudio de la incompletitud de Gödel teoremas
Yo no estudio de la lógica matemática antes. algunas personas recomiendan Rene Cori y Daniel lascar texto. ¿qué te parece ?
Bien, ¿cómo puedo resistir? Mi Introducción a Gödel de Teoremas (TAZA, 2007; segunda edición próxima en Marzo de 2013) fue escrito precisamente para aquellos con poco fondo anterior en la lógica matemática, y tiene como objetivo ser muy accesible, mientras que en realidad, de darle las principales pruebas en un poco de detalle.
Otras opciones que van un poco más ampliamente en la lógica y la teoría de la computación incluyen George Boolos y Richard C. Jeffrey, Computabilidad y la Lógica (de la COPA, 3ra edición 1989: hay ampliado ediciones posteriores con John Burgess como un tercer autor, pero estos son sin duda menos elegantemente hecho). Richard L. Epstein y Walter Carnielli muy agradable la Computabilidad también discute la computación en general antes de cubrir los teoremas de incompletitud; este es atractiva por escrito con un montón de interesantes histórica de los fondos reservados.
Me gustaría recomendar Un Primer Curso de Lógica: Una Introducción al Modelo de la Teoría, la Prueba de la Teoría, de la Computabilidad y Complejidad. Estoy en una posición similar como a ti mismo, aunque probablemente en una semana de anticipación, como en sin antecedentes en la Lógica simbólica, pero la curiosidad de aprender el teorema de la incompletitud de Gödel. Empecé con este libro la semana pasada. Me estoy encontrando que es un rigrous y placentera de la exposición.
Boolos "explicación" en palabras de una sílaba publicado en la Mente encaja en la página de ellos te permiten ver el artículo (sin suscripción). Es lindo, pero no es lo que usted está buscando. Aún así, vale la pena un vistazo, aunque sólo sea por diversión. Usted podría pensar en él como una prueba de lo bien que la comprensión de la prueba(s) que usted está leyendo.
Me enteré de la lógica de la "Lógica Matemática" por Kleene. Se inicia a partir de los conceptos básicos y luego entra en los teoremas de Gödel. Es un muy sólido libro, con un montón de ejemplos.
I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.
