Entangling Effective Procedures: From Logic Machines to Quantum Automata

Turing machines and Godel's incompleteness results take classical determinism to its limits by showing the extent to which symbolic knowledge can grow inside a nite state closed system. Those limits overlap with classical physics'. To master intelligence, machines must appear to behave as if they had "free will". Insofar as such a behaviour depends on randomness and interference, that appearance of free will can result from quantum physics. As it is bound to the changeable and unpredictable system-observer interaction, knowledge emerging out of quantum physics cannot be comprised in any closed system. However, it might be grasped through a hierarchy of measurements performable by a "quantum automaton".