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

Podcast Número Imaginário by Número Imaginário

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 Al...View more