Church y Turing

1. Compilador verificador

1.1. Ayuda a construir software

1.2. Detecta el lenguaje programación

2. Computador universal (La MT comprende aparatos digitales)

3. Referentes de la informática

4. Church realizó un cálculo Lambda

5. Turing creó la MT

5.1. Métodos abstractos de cualquier método efectivo de cálculo

6. El cálculo lambda ayudó a crear los lenguajes de programación

7. Se apoyaron en la lógica de Hilbert para realizar sus inventos

8. Gracias a su tesis tenemos los aparatos digitales