Sobre o Episódio
Neste episódio, 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 rigorosas, como o $\lambda$-cálculo de Alonzo Church e as máquinas de Turing de Alan Turing.
Sugestões de Leitura
- ZIMBARG SOBRINHO, Jacob. Aspectos da tese de Church-Turing.
- LOFF, Bruno. A tese de Church-Turing.
- CARNIELLI, Walter; EPSTEIN, Richard. Computabilidade, funções computáveis, lógica e os fundamentos da matemática.
- CUTLAND, N. J. Computability, an introduction to recursive function theory.
Figuras Centrais
- Alonzo Church (1903 - 1995)
- Alan Turing (1912 - 1954)