Imágen de Portada

Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines / Kurt Gödel

por Gödel, Kurt

Libro
Editor: Oviedo : KRK Ediciones, 2006
Depósito legal: AS 2351-2006 Oficina del Depósito Legal
Descripción Física: 155 p.; 18 cm
Signatura Copia Colección
34/46 4896 Libros modernos desde 1900

El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del modelo de la doble hélice por Watson y Crick.\r\nEste teorema cuya demostración es un prodigio de rigor matemático y de imaginación filosófica, establece que nuestros métodos de deducción racional son radicalmente incapaces de dar cuenta de todas las verdades de la ciencia matemática, la cual excede, por principio, la potencia deductiva del más perfecto de los ordenadores digitales. Una de las más profundas consecuencias filosóficas del hallazgo de Gödel es la superioridad de la mente humana sobre cualquier máquina.\r\nEl presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema, precedida de una introducción que analiza tanto su demostración como sus implicaciones filosóficas



Agregar valoración

Agregar comentario

Primero debe entrar al sistema
  Localización permanente Código de barras Signatura
Fundación Juanelo Turriano 4896 34/46

El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del modelo de la doble hélice por Watson y Crick.\r\nEste teorema cuya demostración es un prodigio de rigor matemático y de imaginación filosófica, establece que nuestros métodos de deducción racional son radicalmente incapaces de dar cuenta de todas las verdades de la ciencia matemática, la cual excede, por principio, la potencia deductiva del más perfecto de los ordenadores digitales. Una de las más profundas consecuencias filosóficas del hallazgo de Gödel es la superioridad de la mente humana sobre cualquier máquina.\r\nEl presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema, precedida de una introducción que analiza tanto su demostración como sus implicaciones filosóficas


Agregar valoración

Agregar comentario

Primero debe entrar al sistema
  Localización Signatura
34/46