austro-estadounidense
Kurt Gödel fue un matemático y filósofo austro-estadounidense conocido por sus teoremas de incompletitud, que revolucionaron la lógica y la matemática. Su trabajo desafió las teorías previas sobre la formalización de las matemáticas y tuvo un impacto duradero en el campo de la lógica matemática y la filosofía de la matemática.
1931
Esta obra seminal de Gödel examina la incompletud de los sistemas formales y plantea su famoso teorema de incompletud, demostrando que en cualquier sistema lógico suficientemente poderoso existen proposiciones que no pueden ser ni probadas ni refutadas.
1940
1986
1986·filosofia
Esta colección reúne los trabajos seminales de Gödel, incluyendo sus teoremas de incompletitud, que tuvieron un impacto revolucionario en el conocimiento de los límites de los sistemas formales, incluida la teoría de conjuntos.
Aparecen junto a Kurt Gödel en búsquedas del archivo
