Aulas de CC #1

Proposição: A Função Universal é computável.

Isto provou a existência de computadores 30 anos de serem construídos. Computação rulz!

A propósito, saiu há pouco tempo O Computador Universal - Matemáticos e as Origens do Computador (Martin Davis, Bizâncio, colecção A Máquina do Mundo). Eu sei que sou parcial, mas... Vale a pena!