Math Forum http://mathforum.org/kb List of forum topics en Re: Pathological Self-Reference and the Halting Problem [was:The<br> empty string as a code] http://mathforum.org/kb/thread.jspa?messageID=7832338&tstart=0#7832338 >
> > M(x) : if H(x,x) = false, then halt; otherwise loop.
 Jun 2, 2012 5:20:20 PM Jun 2, 2012 5:20:20 PM grahamcooper7@gmail.com 0 Re: Pathological Self-Reference and the Halting Problem [was:The empty string as a code] http://mathforum.org/kb/thread.jspa?messageID=7832321&tstart=0#7832321 > > Yes. The notion of "provability" is mathematical. The notion
> > of "knowability" isn't.
 Jun 2, 2012 4:36:25 PM Jun 2, 2012 4:36:25 PM infinity@limited.com 0 Re: Pathological Self-Reference and the Halting Problem [was:The<br> empty string as a code] http://mathforum.org/kb/thread.jspa?messageID=7832317&tstart=0#7832317 wrote:
> On Friday, June 1, 2012 11:36:53 PM]]> Jun 2, 2012 4:05:32 PM Jun 2, 2012 4:05:32 PM grahamcooper7@gmail.com 2 Re: Pathological Self-Reference and the Halting Problem [was:The<br> empty string as a code] http://mathforum.org/kb/thread.jspa?messageID=7832323&tstart=0#7832323 ]]> Jun 2, 2012 4:05:31 PM Jun 2, 2012 4:05:31 PM 3 Pathological Self-Reference and the Halting Problem [was:The<br> empty string as a code] http://mathforum.org/kb/thread.jspa?messageID=7832324&tstart=0#7832324 ]]> Jun 2, 2012 4:05:31 PM Jun 2, 2012 4:05:31 PM 4