A partir de la tesis de Church, según la cual cualquier procedimiento que pueda ser simulado (paso por paso) por un computador digital, resulta trivial que la respuesta a la pregunta es claramente afirmativa (Searle 1992:200).