Kurt Gödel
De Wikisofia
La revisió el 17:52, 15 oct 2017 per Jaumeortola (discussió | contribucions) (bot: - Ciències d'Estats Units + Ciències dels Estats Units)
Avís: El títol a mostrar «Kurt Gödel» sobreescriu l'anterior títol a mostrar «Gödel, Kurt».
Matemàtic i lògic americà, nascut a Brünn, ciutat propera a Viena (Brno, de l'actual República Txeca). Va estudiar matemàtiques a Viena, on va ser professor de 1933 a 1938, i on va entaular contactes amb el Cercle de Viena. En 1938, davant el perill nazi, va marxar a EE.UU, i va treballar en l'Institute for Advanced Studies de Princeton (Nova Jersey). Els seus estudis sobre lògica i metamatemàtica (filosofia de les matemàtiques explicitada en llenguatge matemàtic) han estat els de major importància del segle XX.
A partir de 1943 es va dedicar també a altres temes filosòfics, preferentment cosmològics; en 1951 va rebre el premi Einstein i en 1975 la Medalla nacional de la Ciència; va ser membre de l'Acadèmia Nacional de Ciències dels Estats Units i de la Royal Society, de Londres. Entre les seves aportacions a la lògica matemàtica destaca, com la més coneguda, el teorema que porta el seu nom, anomenat també teorema de la incompletesa, que afirma l'existència de proposicions indecidibles en un sistema formal de l'aritmètica.