Kurt Gödel
From Wikipedia, the free encyclopedia
Kurt Gödel (n. , Brünn, Austro-Ungaria – d. , Princeton, New Jersey, SUA) a fost un logician, matematician și filozof austriac care în 1940 a emigrat în SUA, unde a activat în continuare, fiind considerat matematician american.
Mai multe informații Date personale, Nume la naștere ...
Kurt Gödel | |
Date personale | |
---|---|
Nume la naștere | Kurt Friedrich Gödel |
Născut | [1][2][3][4] Brünn, Austro-Ungaria[5][6][7][8] |
Decedat | (71 de ani)[1][9][2][3] Princeton, New Jersey, SUA[10] |
Înmormântat | cimitirul Princeton[*][11][12] |
Cauza decesului | sinucidere[13] (subnutriție[*][13]) |
Căsătorit cu | Adele Gödel[*][[Adele Gödel (Austrian dancer)|]][13] |
Cetățenie | Statele Unite ale Americii (aprilie 1948–)[14] Austria (–) Cisleithania (–) Cehoslovacia (–) |
Religie | creștinism |
Ocupație | matematician filozof cadru didactic universitar[*] informatician fizician om de știință |
Locul desfășurării activității | Brno[8] |
Limbi vorbite | limba germană[15][16] limba engleză[17][15][16] |
Activitate | |
Rezidență | Austria |
Domeniu | teoria mulțimilor logică matematică[18] filosofie analitică matematică[18] fizică[18] teoria relativității[18] logică[18] predicate logic[*][[predicate logic (subfield of logic)|]][18] filozofie[18] filozofia matematicii[18] |
Număr Erdős | 3 |
Instituție | Universitatea Princeton[13] Universitatea din Viena[13] Universitatea Notre Dame[13] Institute for Advanced Study[13] |
Alma Mater | Universitatea din Viena[13] |
Organizații | Societatea Regală din Londra Academia Americană de Arte și Științe[*] Academia Franceză de Științe[19] Academia Națională de Științe a Statelor Unite ale Americii[*] |
Conducător de doctorat | Hans Hahn[*][[Hans Hahn (matematician austriac)|]][20] |
Cunoscut pentru | teoremele de incompletitudine ale lui Gödel[*] Gödel's completeness theorem[*][[Gödel's completeness theorem (fundamental theorem in mathematical logic)|]] Gödel numbering[*][[Gödel numbering (assignment of each symbol and well-formed formula of a formal language a unique natural number)|]] Von Neumann–Bernays–Gödel set theory[*][[Von Neumann–Bernays–Gödel set theory (axiomatic set theory)|]] Gödel metric[*][[Gödel metric (solution of Einstein field equations)|]] constructible universe[*][[constructible universe (particular class of sets which can be described entirely in terms of simpler sets)|]] Gödel's ontological proof[*][[Gödel's ontological proof (Gödel's formalization of the ontological argument for the existence of God using modal logic)|]] Gödel's β function[*][[Gödel's β function (type of function)|]] Gödel-incomplete machine[*][[Gödel-incomplete machine |]] Gödel's speed-up theorem[*][[Gödel's speed-up theorem |]] Gödel logic[*][[Gödel logic |]] Gödel's second incompleteness theorem[*][[Gödel's second incompleteness theorem |]] Godel's first incompleteness theorem[*][[Godel's first incompleteness theorem (mathematical sentence)|]] Gödel operation[*][[Gödel operation |]] |
Premii | Medalia Națională pentru Știință a Statelor Unite[*] ()[21] Josiah Willard Gibbs Lectureship[*][[Josiah Willard Gibbs Lectureship |]] ()[13] honorary doctorate from Princeton University[*][[honorary doctorate from Princeton University |]] doctor honoris causa al Universității din Viena[*] Premio Mundial de Ciencias Albert Einstein[*][[Premio Mundial de Ciencias Albert Einstein (Recognition and encouragement for scientific and technological research and development.)|]] ()[21] membru străin al Royal Society[*] ()[21] Albert Einstein Award[*][[Albert Einstein Award (award in theoretical physics)|]] () |
Semnătură | |
Modifică date / text |
Închide