Podcast Número Imaginário
Episódio #031 - Notas Sobre a Tese de Church
- Autor: Vários
- Narrador: Vários
- Editora: Podcast
- Duração: 0:11:08
- Mais informações
Informações:
Sinopse
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.
