News for hackers. Stuff that matters.
Re:Does Gödel Matter? by alan-crowe on Monday December 22, 2008 @12:37PM (#406594)
It is easy to exhibit an uncomputable function, the busy beaver function is the standard, easy example. It is immediately obvious that a solution to the halting problem make the busy beaver problem computable: just stick to running the programs that halt and pick the largest output. The unsolvability of the halting problem is way easier than Godel.

There are no comments on this comment yet.