"Nosso projeto original de uma maquina do tempo foi rejeitado pelo ministerio de Ciencia e Tecnologia. Tivemos, entao, de implementa-lo com recursos proprios, com doacoes e recursos particulares. Em consequencia, tivemos de reduzir as dimensoes do projeto, sendo o projeto original abandonado e adequado as condicoes existentes. Resultando no aproveitamento de um grande relogio suico abandonado. Entre outros problemas a serem resolvidos, estava o do fuso horario e a energia para mover a maquina. O primeiro foi solucionado reunindo um profuso estoque de parafusos de varias bitolas. Quanto a energia, convocamos um infectologista que criou um casal de bacterias e, apos, convocamos um doutor em gramatica por um preco modico (ele decidiu colaborar com tao ambicioso projeto), resolvendo o problema do seguinte modo: cortou o "c" da bacteria e retirou o acento grave do "e", resultando em duas baterias para nossa maquina.Assim munidos dos "para" fusos e das duas baterias resolvemos estes dois problemas tecnicos, entretanto, ainda restaram alguns problemas que estamos prestes a solucionar. A maquina ja esta funcionando em carater experimental, um dos problemas consiste na aceleracao da maquina, particularmente no que se refere a passagem de um ponteiro para outro (torque). O nosso viajante voluntario ja fez alguns ensaios em viajens curtas de um ponteiro para outro. Com mais doacoes e colaboracoes tecnicas e, com o passar das horas, esperamos concluir em breve nosso projeto. "(by Cenno Friedrich, meu querido avo, em um de seus momentos de "humor nerd" ) Dando continuidade a serie de postagens (iniciada aqui) vamos agora analisar questoes referentes ao teorema da incompletude de Godel. A ideia e discutir alguns detalhes de seu trabalho nessa area, deixando de lado a contextualizacao historica (sintam-se livres para perguntar ao grande oraculo =) ). Para maiores detalhes e aconselhavel buscar literaturas a respeito, de preferencia com o minimo de filosofia possivel e maximo de formulas (livros filosoficos sobre esse assunto sao beeem comuns, ha grandes chances de que eles nao sejam um bom ponto de partida).De maneira geral, o trabalho de Godel consistiu em provar que existem sistemas formais indecidiveis: sistemas que contem teoremas cuja afirmacao ou negacao nao pode ser provada dentro desses sistemas. O desenvolvimento do teorema da incompletude foi grandemente baseado em conceitos provenientes do Principia Mathematica(PM, este livro e excencialmente um livro de filosofia matematica), de Russel e Whitehead, assim como nos axiomas da Aritimetica, de Peano, escritos com base na logica do PM.Um ponto-chave para que possamos entender em que consistiu o trabalho de Godel e a questao da notacao empregada, sendo tambem algo bastante peculiar ( ja ouvi dizer que Godel tinha uma visao "ortogonal" a sociedade, isso fica bem claro quando nos deparamos com sua notacao, as vezes quase invertida em relacao ao que esperariamos "logicamente" =p ). Dentre os simbolos utilizados vemos os simbolos basicos (constantes e variaveis), as classes de simbolos basicos (formulas, por exemplo), as classes de classes de simbolos basicos (classes de formulas, por exemplo),..., e simbolos utilizados para descrever conceitos externos ao sistema. Esses conceitos externos sao chamados por Godel (assim como por uma serie de