Um louco sonha a máquina universal, foi um livo mostrado pelo professor Eric Maheu na sua terceira aula de MTP. Segue a baixo a sinopse do livro:
"A narradora deste romance é uma física, obcecada por Kurt Gödel, o maior lógico dos últimos séculos, e por Alan Turing, o matemático extraordinário que decifrou o código enigma durante a Segunda Guerra Mundial e que é considerado o pai da computação moderna. Ambos estão inebriados de matemática. Mas apesar de toda a devoção deles, a matemática lhes é indiferente, inalterada por qualquer de seus dramas. As suas vidas se desenrolam na narrativas paralelas que se sobrepõem na magnitude das realizações e mortes de dois homens - Gödel, delirante e paranoico, sucumbiria à inanição autoinfligida; Turing, detido por práticas homossexuais, seria levado ao suicídio. 'Um louco sonha a máquina universal' é uma historia sobre a busca da verdade e seu efeito na vida de dois homens."
Ainda não tive oportunidade de ler este livro, porém através da sinopse e da aula, que foi introduzida falando dos matemáticos e da obra, fiquei curiosa e procurei mais sobre esses matemáticos... Alan Turing e Kut Gödel.
Bom, o que pude absorver sobre esses matemáticos foi que o primeiro, além de ser matemático foi um cientista da computação e que ele influenciou muito no desenvolvimento da computação, e formalizou o conceito de Algorítimo e computação com a máquina de Turing, desempenhando um papel importante para o desenvolvimento do computador moderno. Ele era homossexual, e na sua época a homossexualidade era ilegal no Reino Unido. No inicio dos anos de 1950, ele foi humilhado em publico impedindo de acompanhar os estudos sobre computadores. Alan sofreu muito nessa época devido a sua homossexualidade, sendo submetido ao uso de hormônios femininos para aumentar os seios.
O segundo matemático, Kurt Gödel, criou o teorema da incompletude, que afirma que qualquer sistema axiomático não pode ser simultaneamente completo e consistente. Significa que se o sistema foi consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema. E se o sistema for completo, então ele não poderá validar a si mesmo.
Nenhum comentário:
Postar um comentário