Un individuo o una entidad dispone de libre albedrío en el instante t si su estado no puede describirse como el resultado de aplicar una función, en el sentido matemático, al estado del Universo anterior a ese instante t. Se trata de una suerte de «indeterminismo funcional». El teorema parte de dos axiomas vinculados a la mecánica cuántica, llamados Spin y Twin, y de Min, un axioma relacionado con la relatividad.
Rectas que salen de un dado
-------------------------------
Para introducir Spin, empecemos por dibujar, en cada cara de un cubo, un cuadrado con el mismo centro que la cara y con los lados paralelos a los de esta. Tomamos sus vértices, su centro y los puntos medios de sus lados: nueve puntos en total. Con las seis caras del cubo llegamos a cincuenta y cuatro puntos. Si añadimos los puntos medios de cada una de las doce aristas del propio cubo, obtenemos sesenta y seis puntos. Pero nos limitamos a treinta y tres, pues cada punto del conjunto tiene un simétrico respecto del centro del cubo y ambos se encuentran en el mismo eje.
Ahora bien, si consideramos los treinta y tres ejes distintos, no hay manera de asignarles los valores 0 o 1 de tal modo que cada terna de ejes ortogonales lleve los valores (0, 1, 1), en cualquier orden. Este resultado es a priori sorprendente, pues el número de combinaciones posibles, 233 exactamente, supera los 8,5 mil millones.
