[MD] MOQ and Gödel's incompleteness theorems

Tuukka Virtaperko mail at tuukkavirtaperko.net
Tue Mar 8 22:53:31 PST 2011


You did not use the exact phrase "map that contains itself", I know. But:

"I have heard the analogy that we dip our ladle into the stream of
Quality and get experience (or something similar).  This is a fine
analogy, except that it is also true that the ladle, the manner of
dipping, and the one doing the dipping is also part of Quality."

If I understand correctly, here Quality is a map that contains itself. 
Is your set theory more like ZFC or New Foundations?

-Tuukka



More information about the Moq_Discuss mailing list