What is the key to Geodel's theorem? i.e., is his theorem
presumptive of anything? What is his major dependency?
--
Disclaimer: opinions expressed my own and not representative of my employers
That what is *provable* (in a formal system) is recursively
enumerable, but what is *true* (say in arithmetic) is not.
--Herb Enderton