Ouvi falar dele bem no início de minha graduação, o momento exato não me lembro, mas sei que foi em algum livro de computação e matemática… e bem que queria tê-lo conhecido antes. Como o tempo urge para meus projetos profissionais e acadêmicos, e para não deixar passar a data em branco, só quero repassar alguns links interessantes que merecem ser lidos. Além do post do Orsi que indiquei acima, também recomendo dar uma lida no post do blog do WolframAlpha (e no final do post há outros links que valem a pena.

Para finalizar, sabem as famosas máquinas de Turing? Pois é, sabiam que existe um outro tipo de máquina, que é um modelo computacional hipotético, a chamada máquina de Zeno? Recomendo ler o excelente post do RicBit, que trata justamente disso, de como a complexidade de alguns algoritmos é brutalmente reduzida ao mudar de máquina Turing para máquina Zeno, onde seria fácil provar que P=NP ou que a fatoração seria muito simples. Quem precisa de computador quântico nessas horas? Pena que são hipotéticas… e não resolvem o problema da parada.

Fica aqui a minha humilde homenagem ao patrono da computação e da inteligência artificial.