Keep up to date with every new upload!

Join free & follow Podcast Número Imaginário
Share
Episódio #031 - Notas Sobre a Tese de Church

Episódio #031 - Notas Sobre a Tese de Church

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 lâmbda-cálculo, de Alonzo Church, e pelas máquinas de Turing, do Alan Turing.

Comments