Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

Notas bibliográficas: Gódel's proof

E., Nacel and J. R., Newman and A., Trendall (1960) Notas bibliográficas: Gódel's proof. Stvdivm, IV (9-10). pp. 203-204.

Texto completo

[img]
Vista previa
PDF - Versión Aceptada
Available under License Creative Commons Attribution Non-commercial No Derivatives.

68kB

Resumen

E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, 1931, como tema, agregando que tal trabajo es “uno de los más importantes avances de la lógica en los tiempos modernos” (pg. 3). Luégo esboza una breve historia de la técnica axiomática, desde los griegos hasta Gódel mismo (pgs. 4-7). Capítulo II, El problema de la consistencia: el autor se propone, ahora, tratar la cuestión de la consistencia lógica de los modelos axiomáticos. Para ello se vale de un ejemplo elemental, con un triángulo, en torno a cuyos lados y ángulos construye un sistema de cinco axiomas consistentes (pgs. 8-17).

Tipo de documento:Artículo - Article
Palabras clave:Técnica axiomática, Consistencia lógica, Lógica Formal, Gramática
Temática:1 Filosofía y psicología / Philosophy & psychology
1 Filosofía y psicología / Philosophy & psychology > 16 Lógica / Logic
3 Ciencias sociales / Social sciences > 34 Derecho / Law
4 Lenguas / Language
Unidad administrativa:Sede Bogotá > Facultad de Ciencias Humanas > Departamento de Filosofía
Código ID:65039
Enviado por : jmjimenezg Jorge Mario Jimenez Grisales
Enviado el día :19 Julio 2018 19:23
Ultima modificación:31 Julio 2018 17:23
Ultima modificación:31 Julio 2018 17:23
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Metabiblioteca OAIster BASE BDCOL Registry of Open Access Repositories SNAAC Red de repositorios latinoamericanos eprints Open archives La referencia Tesis latinoamericanas OpenDOAR CLACSO
Este sitio web se ve mejor en Firefox