Descripción
The Annotated Gödel ofrece un recorrido guiado por el artículo de 1931 de Kurt Gödel sobre la incompletitud, que demostró límites inesperados al poder de muchos sistemas lógicos. Hoy llamamos a estos resultados los Teoremas de Incompletitud de Gödel, Primero y Segundo. El libro incluye el artículo completo en una nueva traducción al inglés, intercalado con comentarios que guían al lector a través del trabajo de Gödel, paso a paso.
El comentario se concentra en la exposición de Gödel. Describe lo que está haciendo en cada punto y cómo se relaciona con otras partes del artículo. Elabora sus pruebas, por ejemplo, esbozándolas, o haciendo una tabla de sus variables y sus usos, o rellenando los vacíos en sus argumentos.
La traducción utiliza notación y terminología matemática moderna. Reemplaza los nombres de funciones y relaciones de Gödel, basados en fragmentos de palabras alemanas, con equivalentes en inglés. Su lenguaje es menos formal que el de las traducciones existentes, que datan de la década de 1960.
El libro asume cierta familiaridad con las definiciones y demostraciones matemáticas, al nivel de un curso universitario de matemáticas abstractas, así como algún conocimiento de lógica formal, de un curso introductorio o equivalente.
Autor: Hal Prince
Editorial: Homebred Press
Publicado: 21/08/2022
Páginas: 184
Tipo de encuadernación: Tapa blanda
Peso: 0.59 libras
Tamaño: 9.21 alto x 6.14 ancho x 0.39 profundidad
ISBN13: 9798986414201
ISBN10: 8986414201
Categorías BISAC:
- Matemáticas | Lógica
- Filosofía | Lógica
- Matemáticas | Historia y Filosofía
Este título no es retornable