La intuición tiene su lógica : Gödel, los teoremas de incompletitud /
Piñeiro, Gustavo Ernesto, 1966- ,
La intuición tiene su lógica : Gödel, los teoremas de incompletitud / Gödel, los teoremas de incompletitud : La intuición tiene su lógica Gustavo Ernesto Piñeiro - 167 p ilustraciones, gráficos, diagramas - Grandes Ideas de la Ciencia .
Bibliografía: página 163
Cap. 1. La crisis de los fundamentos - Cap. 2. El primer teorema de Gödel - Cap. 3. El segundo teorma de Gödel - Cap. 4. Gödel y Einstein - Cap. 5. Las consecuencias del trabajo de Gödel
Kurt Gödel cambió con su trabajo la manera de entender las matemáticas. Los dos "teoremas de incompletitud" que formuló en 1931 revelaron, por medio de las herramientas de la lógica formal, la fragilidad de los fundamentos del gran edificio matemático que se venía construyendo laboriosamente desde la época de Euclides. En adelante, la comunidad científica iba a verse obligada a admitir que la validez de una conjetura podía estar más allá de todo intento racional de demostración, y que la intuición nunca podría ser desterrada del reino de las matemáticas. Formado en la prolífica Viena de entreguerras, Gödel pronto se interesó por la epistemología y las teorías de la demostración. Como su Amigo Albert Einstein, cuestionó las certezas de la ciencia del momento y, del mismo modo, su vida estuvo marcada por la guerra y el exilio.
GODEL, KURT, 1906-1978
TEOREMA DE GODEL
LOGICA MATEMATICA
MATEMATICAS
511.3 P661i
La intuición tiene su lógica : Gödel, los teoremas de incompletitud / Gödel, los teoremas de incompletitud : La intuición tiene su lógica Gustavo Ernesto Piñeiro - 167 p ilustraciones, gráficos, diagramas - Grandes Ideas de la Ciencia .
Bibliografía: página 163
Cap. 1. La crisis de los fundamentos - Cap. 2. El primer teorema de Gödel - Cap. 3. El segundo teorma de Gödel - Cap. 4. Gödel y Einstein - Cap. 5. Las consecuencias del trabajo de Gödel
Kurt Gödel cambió con su trabajo la manera de entender las matemáticas. Los dos "teoremas de incompletitud" que formuló en 1931 revelaron, por medio de las herramientas de la lógica formal, la fragilidad de los fundamentos del gran edificio matemático que se venía construyendo laboriosamente desde la época de Euclides. En adelante, la comunidad científica iba a verse obligada a admitir que la validez de una conjetura podía estar más allá de todo intento racional de demostración, y que la intuición nunca podría ser desterrada del reino de las matemáticas. Formado en la prolífica Viena de entreguerras, Gödel pronto se interesó por la epistemología y las teorías de la demostración. Como su Amigo Albert Einstein, cuestionó las certezas de la ciencia del momento y, del mismo modo, su vida estuvo marcada por la guerra y el exilio.
GODEL, KURT, 1906-1978
TEOREMA DE GODEL
LOGICA MATEMATICA
MATEMATICAS
511.3 P661i