Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott Newsgroups: comp.theory Subject: Re: The actual truth is that ... industry standard stipulative definitions Date: Sat, 19 Oct 2024 06:16:04 -0500 Organization: A noiseless patient Spider Lines: 73 Message-ID: References: <99541b6e95dc30204bf49057f8f4c4496fbcc3db@i2pn2.org> <72315c1456c399b2121b3fffe90b933be73e39b6@i2pn2.org> <1180775691cf24be4a082676bc531877147202e3@i2pn2.org> <7e79306e9771378b032e6832548eeef7429888c4@i2pn2.org> <6d73c2d966d1d04dcef8f7f9e0c849e17bd73352@i2pn2.org> <674657dfa495f0e99eed360a8bba9a719bb8f319@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 19 Oct 2024 13:16:05 +0200 (CEST) Injection-Info: dont-email.me; posting-host="a2f4596ff028e636d7320aa11ac5f85c"; logging-data="4042774"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX19i27L6ON+s6ZBzzeHXj5W7" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:5vcllzfqJSPY7rItCxFPrrrFH+8= In-Reply-To: Content-Language: en-US X-Antivirus: Norton (VPS 241019-2, 10/19/2024), Outbound message X-Antivirus-Status: Clean Bytes: 5003 On 10/19/2024 3:52 AM, Mikko wrote: > On 2024-10-17 00:19:15 +0000, olcott said: > >> On 10/16/2024 6:44 AM, Richard Damon wrote: >>> On 10/15/24 11:52 PM, olcott wrote: >>>> On 10/15/2024 9:11 PM, Richard Damon wrote: >>>>> On 10/15/24 8:39 AM, olcott wrote: >>>>>> On 10/15/2024 4:58 AM, joes wrote: >>>>>>> Am Mon, 14 Oct 2024 20:12:37 -0500 schrieb olcott: >>>>>>>> On 10/14/2024 6:50 PM, Richard Damon wrote: >>>>>>>>> On 10/14/24 12:05 PM, olcott wrote: >>>>>>>>>> On 10/14/2024 6:21 AM, Richard Damon wrote: >>>>>>>>>>> On 10/14/24 5:53 AM, olcott wrote: >>>>>>>>>>>> On 10/14/2024 3:21 AM, Mikko wrote: >>>>>>>>>>>>> On 2024-10-13 12:49:01 +0000, Richard Damon said: >>>>>>>>>>>>>> On 10/12/24 8:11 PM, olcott wrote: >>>>>>> >>>>>>>>>> Trying to change to a different analytical framework than the >>>>>>>>>> one that >>>>>>>>>> I am stipulating is the strawman deception. *Essentially an >>>>>>>>>> intentional fallacy of equivocation error* >>>>>>>>> But, you claim to be working on that Halting Problem, >>>>>>>> I quit claiming this many messages ago and you didn't bother to >>>>>>>> notice. >>>>>>> Can you please give the date and time? Did you also explicitly >>>>>>> disclaim >>>>>>> it or just silently leave it out? >>>>>>> >>>>>> >>>>>> Even people of low intelligence that are not trying to >>>>>> be as disagreeable as possible would be able to notice >>>>>> that a specified C function is not a Turing machine. >>>>> >>>>> But it needs to be computationally equivalent to one to ask about >>>>> Termination. >>>>> >>>> >>>> Not at all. >>>> https://en.wikipedia.org/wiki/Pure_function >>>> A termination analyzer need not be a Turing computable function. >>> >>> Strange, since any function that meets the requireemnt >>> >>> the function return values are identical for identical arguments (no >>> variation with local static variables, non-local variables, mutable >>> reference arguments or input streams, i.e., referential transparency), >>> >>> Is the equivalent of a Turing Machine. >>> >>> >>>> >>>> *According to the industry standard definitions that I stipulated* >>> >>> You can't stipulate that something is a standard. >> >> A c function terminates when it reaches its "return" >> instruction. I stipulate this basic fact because you >> disagree with basic facts. When it is stipulated then >> your disagreement is necessarily incorrect. > > It is not a fact. It is a definition that excludes from the meaning > of "terminate" certain possibilities that could reasonably be called > "termination". > Halting in computer science corresponds maps to normal termination in software engineering. For C functions reaching the "return" instruction is the only kind of normal termination. -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer