El teorema de Gödel /
Pieza fundamental de la historia de la lógica, la obra de Kurt Gödel supuso una gran revolución en esta disciplina. Con tan sólo 25 años de edad, en 1931 dio a conocer el denominado teorema de incompletud de Gödel, según el cual dentro de todo sistema formal que contenga la teoría de los números exi...
Zapisane w:
| 1. autor: | |
|---|---|
| Kolejni autorzy: | |
| Format: | Książka |
| Język: | hiszpański |
| Wydane: |
Madrid, España :
Tecnos,
1979, c1979
|
| Seria: | (Estructura y Función ;
31) |
| Hasła przedmiotowe: | |
| Etykiety: |
Nie ma etykietki, Dołącz pierwszą etykiete!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000166057 | ||
| 005 | 20250521000000.0 | ||
| 009 | 20260526125417.726 | ||
| 020 | |a 84-309-0821-8 | ||
| 037 | |a Acervo ITESO - Biblioteca | ||
| 041 | |a ESP | ||
| 082 | |a 511. 3 |b NAG | ||
| 100 | |a Nagel, Ernest |e (autor) | ||
| 245 | 1 | 3 | |a El teorema de Gödel / |c E. Nagel, J.R. Newman ; tr. por Adolfo Martín. |
| 264 | 4 | |a Madrid, España : |b Tecnos, |c 1979, c1979 | |
| 300 | |a 140 p. | ||
| 336 | |a texto |b txt |2 rdacontenido | ||
| 337 | |a sin mediación |b n |2 rdamedio | ||
| 338 | |a volumen |b nc |2 rdasoporte | ||
| 440 | 1 | |a (Estructura y Función ; |v 31) | |
| 500 | |a Traducción de: Gödel's Proof | ||
| 520 | |a Pieza fundamental de la historia de la lógica, la obra de Kurt Gödel supuso una gran revolución en esta disciplina. Con tan sólo 25 años de edad, en 1931 dio a conocer el denominado teorema de incompletud de Gödel, según el cual dentro de todo sistema formal que contenga la teoría de los números existen proposiciones que el sistema no logra demostrar ni negar; sostuvo, también, que entre las proposiciones que en un sistema la aritmética no lograba decidir, había también una que, en términos numéricos, expresaba la no-contradictoriedad de toda la teoría formal de los números utilizando un cierto fragmento de la aritmética, la llamada "aritmética finitista". | ||
| 649 | |a XX | ||
| 650 | |a Formalismo (Matemáticas) | ||
| 650 | |a Teoría de Números | ||
| 650 | |a Teoría Lógica | ||
| 650 | |a Aritmética | ||
| 650 | |a Matemáticas - |x Fundamentos | ||
| 650 | |a Lógica Matemática | ||
| 650 | |a Filosofía Analítica | ||
| 650 | |a Epistemología | ||
| 650 | |a Filosofía del Siglo XX | ||
| 650 | |a Matemáticas - |x Historia - |y Siglo XX | ||
| 700 | |a Newman, James R. |e (autor) | ||
| 910 | |a Fondo Armando Suárez Gómez | ||
| 920 | |a Impresos - Libros | ||
| 930 | |a Fondos Especiales | ||
| 905 | |a 111 | ||
| 901 | |a 0700007086 |b IT2 |c ESP |u 20250521 | ||
| 902 | |a https://opac.biblio.iteso.mx/vufind/Record/000166057 | ||