Cargando…
Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines. I /
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 in...
| Clasificación: | QA248 G6.2318 |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Libro |
| Idioma: | Español Alemán |
| Publicado: |
Oviedo :
KRK,
2006.
|
| Temas: |
MARC
| LEADER | 00000cam a2200000 4500 | ||
|---|---|---|---|
| 001 | 000132230 | ||
| 005 | 20220228120600.0 | ||
| 008 | 110706s2006 sp rb 000 0 spa d | ||
| 020 | |a 9788496476950 | ||
| 040 | |a ESUDE |b spa |d UIA |d OCLCQ |d MX-MxUAM | ||
| 041 | 1 | |a spa |h ger | |
| 050 | 4 | |a QA248 |b G6.2318 | |
| 090 | |a QA248 |b G6.2318 | ||
| 099 | 0 | |a QA248 |a .G573 1992 | |
| 100 | 1 | |a Gödel, Kurt | |
| 245 | 1 | 0 | |a Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines. |n I / |c Kurt Gödel ; traducción: Manuel Garrido, Alfonso García Suárez y Luis Manuel Valdés Villanueva ; introducción: Manuel Garrido. |
| 260 | |a Oviedo : |b KRK, |c 2006. | ||
| 300 | |a 155 p. ; |c 18 cm. | ||
| 504 | |a Incluye referencias bibliográficas (p. [67]-71) . | ||
| 520 | |a 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. Este 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. El 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. | ||
| 534 | |a Título oríginal: Über formal unentscheidbare Sätze der prncipia mathematica und verwandter systeme, I. | ||
| 538 | |a Comunidad UAM-I / Presupuesto biblioteca 156.03.01.92 / ICL20080110 / IBI20080144 / [Ediciones Hespérides. Factura 1681] $719.00 / w272772 ; w272773 c.2; w272774 c.3 | ||
| 650 | 0 | |a Gödel's theorem | |
| 650 | 4 | |a Gödel, Teorema de | |
| 700 | 1 | |a Garrido, Manuel, |d 1925-2015, |e tr | |
| 905 | |a LIBROS | ||
| 938 | |a Comunidad UAM-I |d Presupuesto Biblioteca 156.03.01.92 |e ICL20080110 |f IBI20080144 | ||
| 949 | |a Biblioteca UAM Iztapalapa |b Colección General |c QA248 G6.2318 | ||