Podcast #31 – Notas Sobre a Tese de Church

Notas do episódio

Nesse episódio eu comento brevemente a chamada Tese de Church (ou tese de Church-Turing), que conecta a ideia intuitiva de computabilidade (ou algoritmo) com noções formais, dadas, por exemplo, pelo [latex]lambda[/latex]-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.