Next: Summary / Conclusion
Previous: Practical Issues
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 2.2.1).
Are Humans Probabilistic Gödel Machines?
Back to Goedel machine home page