The Gödelizing Quantum-Mechanical Automata
arXiv:quant-ph/0301004
Abstract
Using Albert results we argue that we don't need new physics to understand Gödelization. Albert quantum automaton can "understand" both a formal system and a Gödel proposition which can't be obtained within this system. There are two significant conclusions. The first speaks "against Penrose" whereas the second speaks for him.