Esta formulación, que hoy en día se conoce como "funcionalismo de máquina", fue inspirada por analogías, apuntadas por Putnam y otros, entre la mente y la teórica máquina de Turing, capaz de calcular cualquier algoritmo dado.