La idea detrás de las computadora digitales puede explicarse diciendo que se trata de máquinas cuyo objetivo es ejecutar cualquier operación que pueda realizar una computadora humana. Esta computadora humana supuestamente sigue reglas fijas y carece de la autoridad para desviarse de ellas en el más mínimo detalle.
Podemos enseñar a una computadora para decir Te amo, pero no se le puede enseñar a amar.
La pregunta de si un computador puede pensar no es más interesante que la pregunta de si un submarino puede nadar
Un lenguaje de programación representa un computador abstracto capaz de entender los términos utilizados en ese lenguaje, que pueden ser más abstractos que los de los objetos utilizados por la máquina real.