Kurt Gödel (alemany: Kurt Friedrich Gödel) (Brno, 28 d'abril de 1906 - Princeton, 14 de gener de 1978) fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar. També va provar que la hipòtesi del continu no es pot refutar del conjunt d'axiomes de la teoria de conjunts suposant que aquests axiomes són consistents.[1]
Dades ràpides Biografia, Naixement ...
Kurt Gödel (1925) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
|
Naixement | (de) Kurt Friedrich Gödel ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) 28 abril 1906 ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) Brno (Txèquia) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Mort | 14 gener 1978 (71 anys) Princeton (Nova Jersey) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Causa de mort | suïcidi, inanició ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Sepultura | Cementiri de Princeton, 3-10-010 40° 21′ 19″ N, 74° 39′ 33″ O ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Residència | Àustria ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Religió | Cristianisme ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Formació | Universitat de Viena (1923–1929) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Tesi acadèmica | Über die Vollständigkeit des Logikkalküls (1929 ) |
---|
Director de tesi | Hans Hahn ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Camp de treball | Teoria de conjunts, lògica matemàtica, filosofia analítica, matemàtiques, física, teoria de la relativitat, lògica, lògica de predicats, filosofia i filosofia de les matemàtiques ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Lloc de treball | Brno ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Ocupació | matemàtic, informàtic, físic, professor d'universitat, filòsof, científic ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Ocupador | Institut d'Estudis Avançats de Princeton (1940–1978) Universitat de Notre Dame (1938–1939) Universitat de Princeton (1938–1939) Universitat de Viena (1930–1938) ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
Membre de | |
---|
Professors | Philipp Furtwängler ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Obres destacables |
Localització dels arxius | |
---|
|
Cònjuge | Adele Porkert Gödel ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
---|
|
Signatura ![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
|
![Modifica el valor a Wikidata](//upload.wikimedia.org/wikipedia/commons/thumb/6/63/Arbcom_ru_editing.svg/10px-Arbcom_ru_editing.svg.png) |
Tanca
Es pot argumentar que Kurt Gödel és el lògic més important del segle xx i un dels tres lògics més grans de la història (juntament amb Aristòtil i Gottlob Frege).