Kurt Gödel

De Wikipedia, le encyclopedia libere
Kurt Gödel
1925 kurt gödel.pngYoung Kurt Gödel as a student in 1925.jpg
Sexo mascule
Nascentia 1906-04-28 (Brno)
Decesso 1978-01-14 (Princeton)
Causa de decesso inanition[*]
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[*], physico
Obras notabile Gödel's incompleteness theorems[*], Gödel's completeness theorem[*], Gödel numbering[*], Von Neumann–Bernays–Gödel set theory[*], Gödel metric[*], constructible universe[*], Gödel's ontological proof[*], Gödel's β function[*], Gödel-incomplete machine[*], Gödel's speed-up theorem[*], Gödel logic[*], Gödel's second incompleteness theorem[*], Godel's first incompleteness theorem[*], Gödel operation[*]
Religion Christianismo
Conjuge Adele Gödel[*]
Premios National Medal of Science[*], Josiah Willard Gibbs Lectureship[*], honorary doctorate from Princeton University[*], honorary doctor of the University of Vienna[*], Albert Einstein World Award of Science[*], Foreign Member of the Royal Society[*], Albert Einstein Award[*]
Lingua germano, anglese
Signatura Kurt Gödel signature.svg
Identificatores
ISNI 0000 0001 1031 567X
VIAF 97851774
Commons Kurt Gödel

Kurt Gödel (Brünn, Austria-Hungaria [nunc Brno, Republica Chec] le 28 de april 1906Princeton, New Jersey, SUA le 14 de januario 1978) esseva un logico, mathematico, e philosopho statounitese, originalmente austriac. Ille esseva 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 le logica e le theoria de insimules pro comprehender le fundamentos del mathematica.

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

Ille monstrava alsi que le axioma de election e le hypothese del continuo es consistente con le theoria de insimules in uso al tempore e non pote esser disprovate, si le axiomaa es consistente. Ille faceva contributiones importante al theoria de demonstration per clarificar que il ha un connexion inter le logica classic, le logica intuitionistic, e le logica modal.

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