Modeling Limits and Free WillRobertson, Algorithmic Information Theory, Free Will, and the Turing Test, Complexity, 4, 25 (1999).
"Chaitin's Algorithmic Information Theory shows that information is conserved. Human mathematicians are able to create axioms, but a computer program cannot do this without violating the information conservation. Creating new axioms and free will are shown to be different aspects of the same phenomenon… "