Kurt Gödel: Diferenzas entre revisións
Contido eliminado Contido engadido
m →Traballo en Princeton: arranxiño |
|||
Liña 42:
A fins de 1940 demostrou a existencia da solución paradoxal das [[ecuacións de campo]] da [[teoría xeral da relatividade]] de [[Albert Einstein]]. Continuando os seus traballos en lóxica, no mesmo ano, publicou o estudo sobre a 'consistencia do axioma da escolla e da hipótese do continuun xeneralizada cos axiomas da teoría dos conxuntos' o cal se tornou un dos asuntos clásicos da [[Matemática Moderna]].
En [[1946]] Gödel tornouse membro permanente do IAS e en [[1948]] naturalizouse cidadán estadounidense. Pasou a profesor pleno do instituto en [[1953]] e profesor emérito en [[1976]]. No comezo da década de 70, Gödel distribuíu aos amigos un estudo da proba ontolóxica da existencia de Deus elaborada por Gottfried Leibniz, o cal acabou sendo coñecido como [[proba ontolóxica de Gödel]]. Kurt Gödel recibiu moitos premios e honras durante súa vida e tamén o primeiro dos [[Premio Einstein]] en [[1951]]. En [(1974]]
Na fin da súa vida, Gödel coidaba que estaba sendo envelenado e rexeitaba comer, morrendo de fame, o [[14 de xaneiro]] de [[1978]], en Princeton.
| |||