ZARZA We are Zarza, the prestigious firm behind major projects in information technology.
Ouvir "Podcast #31 – Notas Sobre a Tese de Church"
Sinopse 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.
Mais episódios do podcast podcast – Número Imaginário
Dicas de Estudo do Professor Pierluigi
28/05/2018
Podcast #33 – Lógica, Dialética e Retórica
15/05/2018
Podcast #32 – Definições
07/09/2017
Podcasts e Videocasts
14/06/2017
In God we trust