Roger Penrose afirma que esta (presunta) diferencia entre "lo que se puede probar mecánicamente" y "lo que los humanos pueden ver como cierto" muestra que la inteligencia humana no es mecánica en su naturaleza.