Kurt Gödel

Kurt Gödel (Brünn, Austria-Hungaria [nunc Brno, Republica Chec] le  – Princeton, New Jersey, SUA le ) 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.

Categoria:Gente austriac
Categoria:Gente statounitese
Categoria:Mathematica
Categoria:Mathematicos
Categoria:Logica
Categoria:Logicos
Categoria:Philosophos
Categoria:Kurt Gödel