1 Tese de Church-Turing. 2 Tese de Church-Turing (1930): Qualquer computação que possa ser realizada de maneira mecânica pode ser feita por uma Máquina.