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) |
|
Naixement | (de) Kurt Friedrich Gödel 28 abril 1906 Brno |
---|
Mort | 14 gener 1978 (71 anys) Princeton (Nova Jersey) |
---|
Causa de mort | Suïcidi (Inanició ) |
---|
Sepultura | Cementiri de Princeton, 3-10-010 40° 21′ 19″ N, 74° 39′ 33″ O |
---|
|
|
|
|
|
Religió | Cristianisme |
---|
Formació | Universitat de Viena (1923–1929) |
---|
Tesi acadèmica | Über die Vollständigkeit des Logikkalküls (1929 ) |
---|
Director de tesi | Hans Hahn |
---|
|
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 |
---|
Lloc de treball | Brno |
---|
Ocupació | matemàtic, informàtic, físic, professor d'universitat, filòsof, científic |
---|
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) |
---|
Membre de | |
---|
Professors | Philipp Furtwängler |
---|
|
Obres destacables |
Localització dels arxius | |
---|
|
Cònjuge | Adele Porkert Gödel |
---|
Premis |
|
|
|
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).