| Deutsch English Français Italiano |
|
<vvc7t9$29pp8$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: news.eternal-september.org!eternal-september.org!.POSTED!not-for-mail From: Richard Heathfield <rjh@cpax.org.uk> Newsgroups: comp.theory Subject: Re: Halting Problem: What Constitutes Pathological Input Date: Tue, 6 May 2025 06:49:29 +0100 Organization: Fix this later Lines: 25 Message-ID: <vvc7t9$29pp8$1@dont-email.me> References: <GE4SP.47558$VBab.42930@fx08.ams4> <vvamqc$o6v5$4@dont-email.me> <vvan7q$o4v0$1@dont-email.me> <ts5SP.113145$_Npd.41800@fx01.ams4> <vvat0g$vtiu$1@dont-email.me> <vvatf3$o4v0$3@dont-email.me> <vvaut0$vtiu$4@dont-email.me> <vvav6o$o4v0$4@dont-email.me> <vvb329$15u5b$1@dont-email.me> <vvb37g$1451r$1@dont-email.me> <vvb43f$15u5b$4@dont-email.me> <vvb4ok$o4v0$9@dont-email.me> <vvb52g$15u5b$6@dont-email.me> <vvb5ca$o4v0$10@dont-email.me> <vvb5vp$15u5b$7@dont-email.me> <vvb675$o4v0$11@dont-email.me> <vvb9d7$1av94$3@dont-email.me> <vvbani$1b6l1$1@dont-email.me> <vvbb6s$1av94$4@dont-email.me> <vvbcb3$1b6l1$2@dont-email.me> <vvbe0j$1av94$8@dont-email.me> <vvbecc$1b6l1$6@dont-email.me> <vvbhk0$1ijna$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Tue, 06 May 2025 07:49:32 +0200 (CEST) Injection-Info: dont-email.me; posting-host="4489552a91c35915dbf980ce94c452ca"; logging-data="2418472"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/UNW7IOpfKighP8XnGmK6UoZoUOHjnFKt+XhkgZud1bA==" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:rFs2m9dU5o3UnzbH8E+iDXXgVTE= In-Reply-To: <vvbhk0$1ijna$1@dont-email.me> Content-Language: en-GB On 06/05/2025 00:29, olcott wrote: <snip> > > It is the problem incorrect specification that creates > the contradiction. Not at all. The contradiction arises from the fact that it is not possible to construct a universal decider. > Everyone here insists that functions computed > by models of computation can ignore inputs and > base their output on something else. I don't think anyone's saying that. Maybe you don't read so well. -- Richard Heathfield Email: rjh at cpax dot org dot uk "Usenet is a strange place" - dmr 29 July 1999 Sig line 4 vacant - apply within