"To paraphrase Descartes again: "I think; therefore I have no access to the level where I sum. - Douglas Hofstadter

By the time we emerge from childhood, we have acquired a reflex-level intuition for where most of our everyday world’s loci of unpredictability lie, and the more unpredictable end of this spectrum simultaneously beckons to us and frightens us. We’re pulled by but fearful of risk-taking. That is the nature of life.

In short, Godel showed that provability is a weaker notion than truth, no matter what axiomatic system is involved.

A computer program can modify itself but it cannot violate its own instructions — it can at best change some parts of itself by *obeying* its own instructions.