= 27d567bc2d48d9f40e9ccc20ea370b15)
Houshalter comments on Open Thread - Aug 24 - Aug 30 - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (318)
If it is undecidable, then that means no proof exists (that
Hwill or will not halt.)If no proof exists, then
Hwill loop forever searching for one.Therefore undecidability implies
Hwill run forever. You've just proved this.Therefore a proof exists that
Hwill run forever (that one), andHwill eventually find it.Paradox...
As people have been saying, if H can make this argument it is inconsistent and does not work properly (i.e. it does not return True or False in the correct situations.)