Chargement en cours…
El teorema de Gödel /
El teorema de Gödel es una de las más sensacionales conquistas científicas del siglo XX. Su autor —que sólo contaba veinticinco años cuando lo publicó, en 1931— revolucionó con él los cimientos de la lógica y de la matemática como Heisenberg los de la física con sus ecuaciones de incertidumbre. Much...
| Cote: | QA29 G5.8 N3.5318b |
|---|---|
| Auteur principal: | |
| Autres auteurs: | , |
| Format: | Livre |
| Langue: | Español Inglés |
| Publié: |
Madrid :
Tecnos,
2007.
|
| Collection: | Filosofía y ensayo
|
| Sujets: |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | 000159153 | ||
| 005 | 20170531091755.0 | ||
| 008 | 170613s2007 sp gr 001 0 spa d | ||
| 020 | |a 9788430946143 | ||
| 020 | |a 8430946144 | ||
| 040 | |a ESALI |b spa |c ESALI |d BDX |d MX-MxUAM | ||
| 041 | 1 | |a spa |h eng | |
| 050 | 4 | |a QA29 G5.8 |b N3.5318b | |
| 090 | |a QA29 G5.8 |b N3.5318b | ||
| 100 | 1 | |a Nagel, Ernest, |d 1901-1985 | |
| 240 | 1 | 0 | |a Gödel's Proof. |l Español. |
| 245 | 1 | 3 | |a El teorema de Gödel / |c Ernest Nagel y James R. Newman ; traducción de Adolfo Martín. |
| 260 | |a Madrid : |b Tecnos, |c 2007. | ||
| 300 | |a 140 p. ; |c 23 cm. | ||
| 440 | 0 | |a Filosofía y ensayo | |
| 500 | |a Reimpresión : (2015). | ||
| 500 | |a Traducción de : Gödel's Proof. | ||
| 500 | |a Incluye índice. | ||
| 504 | |a Incluye referencias bibliográficas : (p. [135]). | ||
| 505 | 0 | 0 | |g I. |t Introducción -- |g II. |t El problema de la consistencia -- |g III. |t Pruebas absolutas de consistencia -- |g IV. |t La codificación sistemática de la lógica formal -- |g V. |t Un ejemplo de una prueba absoluta de consistencia -- |g VI. |t La idea de representación y su empleo en las matemáticas -- |g VII. |t Las pruebas de Gödel A)La numeración de Gödel, B)La aritmetización de la matemática, C)El núcleo de la argumentación de Gödel -- |g VIII. |t Reflexiones finales. |
| 520 | 1 | |a El teorema de Gödel es una de las más sensacionales conquistas científicas del siglo XX. Su autor —que sólo contaba veinticinco años cuando lo publicó, en 1931— revolucionó con él los cimientos de la lógica y de la matemática como Heisenberg los de la física con sus ecuaciones de incertidumbre. Muchos de los más interesantes desarrollos de la informática se cuentan entre los frutos cosechados por este legendario teorema, del que, por otra parte, se ha valido el físico Penrose para cuestionar los supuestos de la inteligencia artificial. | |
| 650 | 0 | |a Gödel's theorem | |
| 650 | 0 | |a Gödel's theorem | |
| 650 | 4 | |a Teorema de Gödel | |
| 650 | 0 | |a Metamathematics | |
| 650 | 4 | |a Metamatemáticas | |
| 650 | 4 | |a Lógica simbólica y matemática | |
| 700 | 1 | |a Newman, James Roy, |d 1907-1966, |e coaut | |
| 700 | 1 | |a Martín, Adolfo, |e tr | |
| 905 | |a LIBROS | ||
| 938 | |c CSH | ||
| 949 | |a Biblioteca UAM Iztapalapa |b Colección General |c QA29 G5.8 N3.5318b | ||