You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

dlthomas comments on What independence between ZFC and P vs NP would imply - Less Wrong Discussion

1 Post author: alexflint 08 December 2011 02:30PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (62)

Comments (62)

You are viewing a single comment's thread. Show more comments above.

Comment author: dlthomas 08 December 2011 08:17:43PM 2 points [-]

That would only work for some turing machines.

Of course. I made no claim at having solved the halting problem. My response was specifically to,

what empirical data could prove that it halts eventually, other than seeing it halt?

There is nothing else that will reliably show this for all machines. There are absolutely things that will show this for some machines.

Powered by Reddit Powered by Reddit