Noncomputational Physical Processes

Ammon (2016) gives proofs for the existence of physical reasoning processes that cannot be described by a formal system, that is, they cannot be computed by a Turing machine. The proofs can be outlined as follows: The generality of Gödel’s…