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…
Enter your email address to subscribe to this blog and receive notifications of new posts by email.
Copyright © 2017 Creative Systems
Powered by WordPress and Origin