Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano. Considerado, ao lado de Aristóteles, Alfred Tarski e Gottlob Frege, um dos mais importantes lógicos da história, Gödel causou um imenso impacto no pensamento científico e filosófico no século XX, época em que nomes como Bertrand Russell, Alfred North Whitehead, e David Hilbert analisavam o uso da lógica e da teoria dos conjuntos como instrumento para compreender os fundamentos da matemática de Georg Cantor.
Gödel publicou seus dois teoremas da incompletude em 1931, aos 25 anos, um ano depois de terminar seu doutorado na Universidade de Viena. O primeiro teorema da incompletude afirma que, para qualquer sistema axiomático recursivo autoconsistente capaz de descrever a aritmética dos números naturais (como, por exemplo, o axioma de Peano), há proposições naturais verdadeiras que não podem ser provadas a partir dos axiomas. Para provar esse teorema, Gödel desenvolveu uma técnica agora conhecida como numeração de Gödel, que codifica expressões formais como números naturais.
Gödel também mostrou que tanto o axioma da escolha quanto a hipótese do continuum não podem ser refutados a partir de axiomas aceitos na teoria dos conjuntos, assumindo que esses axiomas são consistentes. O primeiro resultado possibilitou que os matemáticos assumissem o axioma na escolha de suas provas. Ele também fez contribuições importantes para a teoria da prova, esclarecendo as conexões entre a lógica clássica, a lógica intuicionista e a lógica modal.
Kurt Friedrich Gödel (em alemão, pronuncia-se AFI: [kʊʁt ˈɡøːdl̩] ouça) nasceu em Brünn, província austro-húngara da Morávia (hoje Brno, na República Tcheca), em uma família de ascendência alemã, filho de Rudolf Gödel, um gerente de fábrica têxtil e Marianne Gödel (nascida Handschuh). Na época de seu nascimento, a população da cidade falava em sua maioria a língua alemã, e esta era a língua de seus pais. Os ancestrais de Kurt Gödel foram muitas vezes ativos na vida cultural em Brno. Por exemplo, seu avô Joseph Gödel foi um cantor famoso da época e durante alguns anos um membro da "Brünner Männergesangverein".
Kurt era conhecido na família como Der Herr Warum (Sr. Por quê?), por conta do grande número de perguntas que fazia.
Segundo o seu irmão, Kurt teve uma infância feliz, mesmo sendo tímido e se aborrecendo facilmente. Foi batizado duas semanas após seu nascimento como protestante luterano, segundo a religião da mãe, tendo Friedrich Redlich como padrinho e inspiração para seu segundo nome.
A primeira guerra mundial não o atingiu diretamente, Brünn estava bem distante das zonas de batalha. Mas, em 1918, com o estabelecimento da Tchecoslováquia como nação, houve um isolamento da minoria que falava alemão na cidade. Kurt renunciaria em 1929 à cidadania tcheca, tornando-se austríaco oficialmente.
Em 1923 concluiu, com louvor, o curso fundamental na escola alemã de Brünn e embora tivesse excelente talento para linguagens, ele se aprofundou em História e Matemática. Seu interesse pela Matemática aumentou em 1920, quando acompanhou Rudolf, seu irmão mais velho, que fora para Viena cursar a Escola de Medicina da Universidade de Viena. Em sua adolescência, estudou Goethe, o manual de Gabelsberger, a teoria das cores de Isaac Newton e as "Críticas" de Kant.
Embora inicialmente pretendesse estudar Física Teórica, aos 18 anos, ele frequentou cursos de Matemática e Filosofia, conseguindo logo o mestrado em Matemática. Nessa época ele adotou as ideias do realismo matemático. Leu os Princípios Metafísicos da Ciência da Natureza (Metaphysische Anfangsgrunde Der Naturwissenschaft), de Kant, e participou do Círculo de Viena juntamente com Moritz Schlick, Hans Hahn, e Rudolf Carnap.
Kurt estudava a teoria dos números quando participou de um seminário com Moritz Schlick sobre a "Introduction to Mathematical Philosophy", de Bertrand Russell, e interessou-se imediatamente pela lógica matemática.
Nessa época de grande atividade, conhece sua futura esposa, Adele Nimbursky (nascida Porkert, 1899–1981), que, na época, trabalhava como cantora e dançarina em um cabaré vienense, Der Nachtfalter. Adele era divorciada e seis anos mais velha do que ele. Os pais de Gödel se opuseram ao relacionamento, razão pela qual eles só viriam a se casar dez anos depois.
Começa a publicar escritos sobre lógica e frequenta aulas de David Hilbert, em Bolonha, sobre a completude e consistência de sistemas matemáticos.
Em 1929, Gödel tornou-se cidadão austríaco e completou sua dissertação para doutoramento sob a supervisão de Hans Hahn, onde estabeleceu a completude do cálculo de predicados de primeira ordem, também conhecido como Teorema da completude de Gödel.
Em 1930 obteve um doutorado e produziu uma versão combinada de seus escritos sobre a completude, a qual foi publicada pela Academia de Ciências de Viena.
Em 1931 publicou seu famoso teorema da incompletude, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Neste escrito ele demonstrou que qualquer sistema matemático axiomático, suficiente para incluir a aritmética dos números naturais, necessariamente:
1. não pode ser simultaneamente completo e consistente. (Teorema da Incompletude);
2. se o sistema é consistente, sua consistência não pode ser provada internamente ao sistema.
Estes dois teoremas encerraram centenas de anos de tentativas de estabelecer um conjunto completo de axiomas que possibilitassem deduzir toda a Matemática como os Principia Mathematica ou no formalismo de Hilbert. Isso também implica que um computador jamais possa ser programado para responder todas as questões matemáticas. Em 1932 foi diplomado pela Universidade de Viena e, em 1933, tornou-se Privatdozent (docente não remunerado).