Next: Gödel Machines and Consciousness
Up: Discussion & Previous Work
Previous: Relations to Previous Work
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).
Are Humans Probabilistic Gödel Machines?