Kurt Gödel foi um matemático austríaco-americano que fez contribuições fundamentais para a lógica matemática e a filosofia. Ele provou que em qualquer sistema formal suficientemente rico, proposições podem ser formuladas que não podem ser nem provadas nem refutadas dentro do próprio sistema (teoremas da incompletude). Gödel também trabalhou em computabilidade e funções recursivas. Ele sofreu de distúrbios mentais em sua vida tardia e morreu de desnutrição.

1. KURT GÖDEL MV3C Trabalho elaborado por: Ana Paula Gomes

2. KURT GÖDEL Nasceu a 28 de Abril de 1906 e faleceu a 14 de Janeiro de 1978 com 71 anos Tese: Über die Vollständigkeit des Logikkalküls

3. KURT GÖDEL

4. O interesse pela Matemática creceu em 1920 quando acompanhou Rudolf, o seu irmão mais velho, que fora para a Escola de Medicina da Universidade de Viena. Durante a adolescência, estudou Goethe, o Manual de Gabelsberger , a teoria das cores de Isaac Newton e as "Críticas" de Kant. KURT GÖDEL

5. Filho de um gerente de fábrica têxtil. Em família, Kurt era conhecido por Der Herr Warum (Sr. Porquê? ). Em 1923 concluiu, com louvor, o curso fundamental na escola alemã de Brünne embora tivesse excelente talento para linguagem, aprofundou História e Matemática. KURT GÖDEL

6. Embora tenha inicialmente a intenção de estudar física teórica, Kurt também participou em cursos de matemática e filosofia. Durante esse tempo, ele adoptou as idéias de realismo matemático. Ao ler o livro Introduction to Mathematical Philosophy , Kurt tornou-se interessado em lógica matemática. KURT GÖDEL

7. Em 1931 e ainda em Viena, Gödel publicou o seu famoso teoremas de incompletude em "Über formal unentscheidbare Sätze der Principia Mathematica verwandter und Systeme“. Nesse artigo ele provou que em qualquer sistema axiomático: Se o sistema é consistente, não pode ser completo. A consistência dos axiomas não pode ser comprovado no sistema. KURT GÖDEL

8. Em 1933, Gödel primeiro viajou para os Estados Unidos onde se encontrou Albert Einstein, que se tornou um bom amigo. Gödel também desenvolveu as ideias de computabilidade e funções recursivas. Em 1934 e 1935, Gödel apresentou uma série de palestras na Instituto de Estudos Avançados, em Princeton. KURT GÖDEL

9. Nessa altura, as viagens e o trabalho levaram a que tivesse uma depressão. Voltou a leccionar em 1937 e a trabalhar na prova de consistência do axioma da escolha e do hipótese do continuum. KURT GÖDEL

10. Em 1951, Gödel demonstrou resultados importantes nas soluções das equações da relatividade geral de Albert Einstein. KURT GÖDEL

11. Os interesses de Gödel viraram-se para a filosofia e a física. Estudou e admirou as obras de Gottfried e Leibniz. Na década de 1970, Gödel publica a prova ontológica da existência de Deus (conhecida como Prova Ontológica de Gödel). Gödel recebeu vários prémios. KURT GÖDEL

12. Mais tarde, Gödel sofreu períodos de instabilidade. Ele tinha um medo obsessivo de ser envenenado, ele não iria comer a menos que a sua mulher, Adele, provasse primeiro a sua comida. No final de 1977, Adele foi hospitalizada por seis meses e não pôde continuar a provar a comida. Desta forma, Gödel recusou-se a comer e acabou por morrer de fome com cerca de 30 kg. Morreu no Hospital de Princeton a 14 de Janeiro de 1978. A certidão de óbito informa que morreu de "desnutrição causada por distúrbio de personalidade”. KURT GÖDEL