I don't know. I didn't think that any problem had been shown to be a "Godel Problem" yet. It's possible that you're thinking about the efforts of Russell, Whitehead et al. who had attempted to construct a number-theoretic system which was complete, the Principia Mathematica. After Godel, they all had to give up, since he'd shown that their object was unattainable.
Announcement
Collapse
No announcement yet.
Hey Guys! It's now really easy to use smilies!
Collapse
X
-
12-17-10 Mohamed Bouazizi NEVER FORGET
Stadtluft Macht Frei
Killing it is the new killing it
Ultima Ratio Regum
Comment