Kurt Gödel

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca
Kurt Gödel
1925 kurt gödel.png
Sexo mascule
Nascentia 1906-04-28 (Brno)
Decesso 1978-01-14 (Princeton)
Causa de decesso malnutrition[*]
Loco de reposo Princeton Cemetery[*]
Citatania Statos Unite de America, Austria, Austria-Hungaria, First Czechoslovak Republic[*]
Educate in University of Vienna[*]
Occupation mathematico, philosopho[*], professor universitari[*], computer scientist[*]
Religion Christianismo
Conjuge Adele Gödel[*]
Premios National Medal of Science[*], Josiah Willard Gibbs Lectureship[*], Albert Einstein Award[*], Honorary doctor of the Princeton University[*], Honorary doctor of the University of Vienna[*], Albert Einstein World Award of Science[*], doctor honoris causa[*], Foreign Member of the Royal Society[*]
Lingua germano, anglese
Signatura Kurt Gödel signature.svg
Identificatores
ISNI 0000 0001 1031 567X
VIAF 97851774
Commons Kurt Gödel

Kurt Gödel (28 de april 190614 de januario 1978) era un logico, mathematico, e philosopho. Ille era un del logicos le plus importante in le historia, qui habeva un impacto grande in le pensamento scientific e philosophic del seculo 20, quando altere mathematicos como Bertrand Russell, Alfred North Whitehead e David Hilbert, tentava usar logico e le theoria de insimules pro comprehender le fundation de mathematica.

Gödel es cognoscite pro le theorema de incompletessa que ille publicava al etate de 25, un anno post obtener su doctorato al Universitate de Vienna. Pro provar su theorema, Gödel disveloppava un technica appellate numeration de Gödel, in le qual cata symbolo e formula ben-formate in mathematica es assignate un numero natural.

Ille monstrava alsi que le hypothese de continuitate era independente del theoria de insimules in uso al tempore e poteva ser o provate o disprovate, si le axiomaa era consistente. Ille faceva contributiones importante al theoria de prova per clarificar que il ha un connection inter logica classic, logica de senso commun, e logica modal.

Nota
Commons-logo.svg
Wikimedia Commons ha files multimedia de: Kurt Gödel