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.

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