Descripción
Los estudiantes universitarios sin instrucción previa en lógica matemática se beneficiarán de este texto multipartito equilibrado. Comienza con una descripción elemental pero exhaustiva de la lógica matemática de primer orden. El tratamiento va más allá de un solo método de formulación de la lógica para ofrecer instrucción en una variedad de técnicas: teoría de modelos (tablas de verdad), teoría de la demostración tipo Hilbert y teoría de la demostración manejada a través de reglas derivadas.
La segunda parte complementa el material discutido anteriormente e introduce algunas de las ideas más nuevas y los resultados más profundos de la investigación lógica del siglo XX. Los capítulos posteriores exploran el estudio de la teoría formal de números, con encuestas de los famosos resultados de incompletitud e indecidibilidad de Godel, Church, Turing y otros. El énfasis en el capítulo final vuelve a la lógica, con exámenes del teorema de completitud de Godel, el teorema de Gentzen, la paradoja de Skolem y los modelos no estándar de la aritmética, y otros teoremas. El autor, Stephen Cole Kleene, fue profesor de matemáticas Cyrus C. MacDuffee en la Universidad de Wisconsin, Madison. Prólogo. Bibliografía. Números de Teoremas y Lemas: Páginas. Lista de Postulados. Símbolos y Notaciones. Índice.
Autor: Stephen Kleene, Mathematics
Editorial: Dover Publications
Publicado: 18/12/2002
Páginas: 432
Tipo de encuadernación: Tapa blanda
Peso: 0.97 libras
Tamaño: 8.56h x 5.50w x 0.86d
ISBN13: 9780486425337
ISBN10: 0486425339
Categorías BISAC:
- Matemáticas | Lógica
Este título no es retornable