Si la mente se comportara como un sistema lógico, entonces ¿podríamos considerarlo como una máquina de Turing? Sí puesto que todas las Máquinas de Turing funcionan como sistemas lógicos, pero no todos los conceptos que nos permiten procesar los sistemas lógicos son, necesariamente, máquinas de Turing.