A class of deductive theories that cannot be deterministic

Abstract

Although the concept of an observing device with memory is very simple and definable in terms of algorithmic machine, it is not compatible with a predictive theory involving this concept. This is sufficient to show that Physics as a whole cannot be deterministic; moreover, using the Conway-Kochen Free Will Theorem [1] and the simple logical proof of it we gave in [2], we show, without any need of free will or observer's freedom, that neither Quantum Mechanics nor any extension of this theory can be deterministic.