As seguintes páginas têm link para Alonzo Church:
Exibidos 23 itens.
Ver (50 anteriores | próximos 50) (20 | 50 | 100 | 250 | 500)- Algoritmo (← afluentes)
- Ciência da computação (← afluentes)
- Informática (← afluentes)
- Lógica (← afluentes)
- Programação funcional (← afluentes)
- Teoremas da incompletude de Gödel (← afluentes)
- Platão (← afluentes)
- 8 de novembro (← afluentes)
- Lisp (← afluentes)
- Alan Turing (← afluentes)
- Máquina de Turing (← afluentes)
- História da computação (← afluentes)
- David Hilbert (← afluentes)
- Problemas de Hilbert (← afluentes)
- Tese de Church-Turing (← afluentes)
- Entscheidungsproblem (← afluentes)
- David Kaplan (← afluentes)
- Problema da parada (← afluentes)
- Computabilidade (← afluentes)
- Lógica de primeira ordem (← afluentes)
- Leon Henkin (← afluentes)
- Oswald Veblen (← afluentes)
- Prova automática de teoremas (← afluentes)