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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Kniha |
| Jazyk: | španělština |
| Vydáno: |
Madrid, España :
Tecnos,
1979, c1979
|
| Edice: | (Estructura y Función ;
31) |
| Témata: | |
| Tagy: |
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
MARC
| LEADER | 00000nam^a2200000^a^4500 | ||
|---|---|---|---|
| 001 | 000166057 | ||
| 005 | 20250521000000.0 | ||
| 009 | 20260310101039.21 | ||
| 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 | ||