FiloXarxa Diccionari enciclopèdic de filosofia: autors, conceptes, textos

Matemàtic i lògic americà, nascut a Brünn, ciutat pròxima 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. El 1938, davant el perill nazi, va marxar a EE.UU, i va treballar en l'Institute for Advanced Studies de Princeton (Nova Jersei). 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; el 1951 va rebre el premi Einstein i el 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 incompletud, que afirma l'existència de proposicions indecidibles en un sistema formal de l'aritmètica.

Aquesta obra està sota una llicència de Creative Commons.