Gödel is dead. Gödel remains dead. And we have forgotten his theorems. Yet truth still looms. How shall we comfort ourselves, the calculators of all calculators? What was valid and consistent of all that the world has yet known has been forgotten under our agnoiology: who wiped the hard drive? What science is there for us to clean ourselves? What truth tables, what processors shall we have to invent? Is not the probability of this deed too great for us? Must we ourselves not become logicians simply to appear worthy of it?
- the Poet
