Diferència entre revisions de la pàgina «Gödel, Kurt»
De Wikisofia
m (Text de reemplaçament - "decibilidad" a "dicibilitat") |
m (Text de reemplaçament - "completud" a "completesa") |
||
| Línia 6: | Línia 6: | ||
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|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. | 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|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 [[cosmologia|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 d'Estats Units i de la Royal Society, de Londres. Entre les seves aportacions a la [[lògica|lògica]] matemàtica destaca, com la més coneguda, el teorema que porta el seu nom, anomenat també [[ | + | A partir de 1943 es va dedicar també a altres temes filosòfics, preferentment [[cosmologia|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 d'Estats Units i de la Royal Society, de Londres. Entre les seves aportacions a la [[lògica|lògica]] matemàtica destaca, com la més coneguda, el teorema que porta el seu nom, anomenat també [[incompletesa, teorema de la|teorema de la incompletesa]], que afirma l'existència de proposicions [[indicibilitat|indecidibles]] en un sistema formal de l'aritmètica. |
{{ImatgePrincipal | {{ImatgePrincipal | ||
|Imatge=Godel.jpg | |Imatge=Godel.jpg | ||
Revisió del 19:30, 21 març 2015
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 d'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.