next up previous
Next: Gödel Machines and Consciousness Up: Discussion & Previous Work Previous: Relations to Previous Work

Are Humans Probabilistic Gödel Machines?

We do not know. We think they better be. Their initial underlying formal system for dealing with uncertainty seems to differ substantially from those of traditional expectation calculus and logic though--compare Items 1c and 1d in Section 3.2 as well as the supermarket example (Item 6 in Section 6.1).

Juergen Schmidhuber 2005-01-03