Dois Gênios Da Matemática

O professor Eric trouxe para sala o livro " UM LOUCO SONHA A MÁQUINA UNIVERSAL" de Janna Levin. O livro parece ser fascinante, acabei lendo a sinopse e folheando algumas páginas. Não me contentei apenas com as informações que li na sala, e procurei saber mais. Descobri que Janna Levin conta a história da vida de Alan Turing, grande criptógrafo e um dos pais da computação de hoje, e Kurt Gödel, que formulou o Teorema da Incompletude.
O que seria esse Teorema da Incompletude?
Descobri que:

Teorema 1: "Qualquer teoria axiomática recursivamente enumerável e capaz de expressar algumas verdades básicas de aritmética não pode ser, ao mesmo tempo, completa e consistente. Ou seja, sempre há em uma teoria consistente proposições verdadeiras que não podem ser demonstradas nem negadas." (Fonte: http://pt.wikipedia.org/wiki/Teoremas_da_incompletude_de_G%C3%B6del)

Teorema 2: "Uma teoria, recursivamente enumerável e capaz de expressar verdades básicas da aritmética e alguns enunciados da teoria da prova, pode provar sua própria consistência se, e somente se, for inconsistente." (Fonte: http://pt.wikipedia.org/wiki/Teoremas_da_incompletude_de_G%C3%B6del)

Acredito que no livro, esses dois teoremas devem vir a ser muito bem explicados, é o que espero. Pois, espero uma explicação mais detalhada.

Sei que Turing era homossexual e sofreu muito pois, ele viveu em uma sociedade rígida que não aceitava este tipo de relação. Gödel era paranóico. No decorrer do livro, Turing pensou em construir uma máquina que resolvesse qualquer problema, e Gödel procurou derrubar velhas lendas religiosas em busca da verdade.

Será que Turing e Gödel chegaram a descobrir a verdade que queriam? Que provavelmente seria o motivo das suas angustias? ... é  ... acho que vou ter que comprar o livro, navegar na mentes desses dois grandes gênios e descobrir. Vai ser uma ótima aventura. Até a minha mãe se entusiasmou com a minha animação, ela também quer ler.

Voltando para a aula, debatemos em sala de aula a importância: das anotações, respeitando é claro, o jeito de cada pessoa assimilar os conteúdos; do trabalho em grupo - inclusive já organizamos grupos de estudos (eu, Késsia, Bella, Valéria, Alfredo, Pedro, Taiane, Ana). O interessante do trabalho em equipe é que cada menbro completa as informações do outro, afinal, ninguém sabe de tudo.