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 2.2.1).