Deutsch English Français Italiano |
<v3mi31$bknn$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Mikko <mikko.levanto@iki.fi> Newsgroups: comp.theory Subject: Re: The error of the halting problem Date: Tue, 4 Jun 2024 11:09:05 +0300 Organization: - Lines: 37 Message-ID: <v3mi31$bknn$1@dont-email.me> References: <v3lafd$1uml$1@dont-email.me> <v3loms$2uv04$1@i2pn2.org> <v3lou5$43oa$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Tue, 04 Jun 2024 10:09:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="dce6fda481f9f7f7aa278ce7b31b5172"; logging-data="381687"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+8PPPWLsJsUGoQBcK++F6s" User-Agent: Unison/2.2 Cancel-Lock: sha1:5iARCCDhwbl19niCSZC50YIN7lQ= Bytes: 2570 On 2024-06-04 00:59:48 +0000, olcott said: > On 6/3/2024 7:55 PM, Richard Damon wrote: >> On 6/3/24 4:53 PM, olcott wrote: >>> For any program H that might determine whether programs halt, a >>> "pathological" program D, called with some input, can pass its own >>> source and its input to H and then specifically do the opposite of what >>> H predicts D will do. No H can exist that handles this case. >>> https://en.wikipedia.org/wiki/Halting_problem >>> >>> The way that the halting problem is conventionally understood is that H >>> must correctly answer yes or no to an input that contradicts both >>> answers, thus H is being asked a question isomorphic to the Liar >>> Paradox: Is this sentence true or false: "This sentence is not true." ? >> >> But it doesn't reduce to that, as the decider was fixed in code first, >> and then, by using that code, a question is constructed WITH A RIGHT >> ANSWER, that just isn't the answer that this decider happens to give. >> >> You just don't seem to understand logic well enough to understand that >> not that subtitle difference. >> > > In other words you are trying to get away with saying > that it is only random chance that H gets the wrong > answer not that the game is rigged against H. It is not really a game. Halting problem is a problem the same way as doubling a cube, trisecting an angle and squating a circle, which are konwn as the three classical problems of Euclidean geometry. If you want to call them "rigged" then you can call halting problem the same way but most people would reserve the word "rigged" for a different use. -- Mikko