Kurt Gödel
From Wikipedia, the free encyclopedia
Kurt Gödel o tamién Kurt Goedel (28 d'abril de 1906, Brno – 14 de xineru de 1978, Princeton) foi un lóxicu, matemáticu y filósofu austriacu-estauxunidense.[11]
Kurt Gödel | |
---|---|
Vida | |
Nacimientu | Brno[1], 28 d'abril de 1906[2] |
Nacionalidá |
Cisleitania (1906 - 1918) Checoslovaquia (1918 - 1929) Austria (1929 - Estaos Xuníos (abril 1948 - 14 xineru 1978)[3] |
Residencia | Austria |
Llingua materna | alemán |
Muerte | Princeton[4], 14 de xineru de 1978[2] (71 años) |
Sepultura | Cementerio de Princeton (es) [5] |
Causa de la muerte | inanición (es) [6] |
Familia | |
Casáu con | Adele Gödel [6] |
Estudios | |
Estudios |
Universidá de Viena (1923 - 1929) |
Tesis | ' |
Direutor de tesis | Hans Hahn |
Llingües falaes |
alemán[7] inglés[8] |
Alumnu de | Philipp Furtwängler |
Oficiu | matemáticu, filósofu, profesor universitariu, informáticu teóricu, físicu, científicu |
Llugares de trabayu | Brno |
Emplegadores |
Universidá de Viena (1930 – 1938) Universidá de Notre Dame (1938 – 1939) Universidá de Princeton (1938 – 1939) Institute for Advanced Study (es) (1940 – 1978) |
Trabayos destacaos |
Teoremas de incompletitud de Gödel teorema de completitud de Gödel (es) numeración de Gödel (es) Teoría de conjuntos de Von Neumann-Bernays-Gödel (es) métrica de Gödel (es) universo constructible (es) Demostración ontológica de Gödel (es) Función beta de Gödel (es) Gödel-incomplete machine (en) Gödel's speed-up theorem (en) Gödel logic (en) Gödel's second incompleteness theorem (en) Primer teorema de la incompletitud de Gödel (es) Gödel operation (en) |
Premios |
ver
|
Miembru de |
Royal Society Academia de les Artes y les Ciencies d'Estaos Xuníos Academia Francesa de les Ciencies[10] Academia Nacional de Ciencies de los Estaos Xuníos |
Creencies | |
Relixón | cristianismu |
Reconocíu como unu de los más importantes lóxicos de tolos tiempos, el trabayu de Gödel tuvo un impautu inmensu nel pensamientu científico y filosófico del sieglu XX. Gödel, al igual qu'otru pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert intentó emplegar la lóxica y la teoría de conxuntos pa entender los fundamentos de la matemática. A Gödel conózse-y meyor polos sos dos teoremas de la incompletitud, publicaos en 1931 a los 25 años d'edá, un añu dempués de rematar el so doctoráu na Universidá de Viena.
El más célebre de los sos teoremas de la incompletitud establez que pa tou sistema axomáticu recursivo autu-consistente lo suficientemente poderosu como pa describir l'aritmética de los númberos naturales (l'aritmética de Peano), esisten proposiciones verdaderes sobre los naturales que nun pueden demostrase a partir de los axomes. Pa demostrar esti teorema desenvolvió una téunica denomada agora como numberación de Gödel, que codifica espresiones formales como númberos naturales.
Tamién demostró que la hipótesis del continuu nun puede refutarse dende los axomes aceptaos de la teoría de conxuntos, si dichos axomes son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclariar les conexones ente la lóxica clásica, la lóxica intuicionista y la lóxica modal.