| Deutsch English Français Italiano |
|
<v0v4gm$3l29l$10@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!feeder.erje.net!news.swapon.de!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: olcott <polcott333@gmail.com>
Newsgroups: comp.theory
Subject: Re: Can D simulated by H terminate normally?
Date: Wed, 1 May 2024 23:23:50 -0500
Organization: A noiseless patient Spider
Lines: 48
Message-ID: <v0v4gm$3l29l$10@dont-email.me>
References: <v0k4jc$laej$1@dont-email.me> <v0l11u$ussl$1@dont-email.me>
<v0lh24$123q3$1@dont-email.me> <v0lic7$2g492$3@i2pn2.org>
<v0lkas$12q0o$3@dont-email.me> <v0loq2$2g493$1@i2pn2.org>
<v0lq7d$14579$2@dont-email.me> <v0ls98$2g492$7@i2pn2.org>
<v0m29q$166o1$1@dont-email.me> <v0m37e$2gl1e$1@i2pn2.org>
<v0m3v5$16k3h$1@dont-email.me> <v0m55t$2gl1f$3@i2pn2.org>
<v0m5sn$172p4$1@dont-email.me> <v0o87n$1p7s5$1@dont-email.me>
<v0oab4$1pbn5$3@dont-email.me> <v0qh21$2df66$1@dont-email.me>
<v0r40q$2hb7o$5@dont-email.me> <v0t3aa$33g49$1@dont-email.me>
<v0todh$3881i$2@dont-email.me> <v0ummt$2qov3$2@i2pn2.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Thu, 02 May 2024 06:23:50 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="06287be8f659702f6b974b7d726ae873";
logging-data="3836213"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18NyPL8MFNyYL5c+CROr3EU"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:NPzWeMFiTnRIzVqFu5MuV2NIhC8=
Content-Language: en-US
In-Reply-To: <v0ummt$2qov3$2@i2pn2.org>
Bytes: 3140
On 5/1/2024 7:28 PM, Richard Damon wrote:
> On 5/1/24 11:51 AM, olcott wrote:
>> Every D simulated by H that cannot possibly stop running unless
>> aborted by H does specify non-terminating behavior to H. When
>> H aborts this simulation that does not count as D halting.
>
> Which is just meaningless gobbledygook by your definitions.
>
> It means that
>
> int H(ptr m, ptr d) {
> return 0;
> }
>
Your H is not simulating D at all thus not
"Every D simulated by H" quoted above
Your H is not simulating D at all thus not
"Every D simulated by H" quoted above
Your H is not simulating D at all thus not
"Every D simulated by H" quoted above
> is always correct, because THAT H can not possible simulate the input to
> the end before it aborts it, and that H is all that that H can be, or it
> isn't THAT H.
>
> Unless you clarify your altered definitions, H is what H is and that
> just becomes the conclusion.
>
>>
>>> Then you can compare the definitions and try
>>> to determine whether "abnormal termination" implies halting or
>>> non-halting
>>> or neither. Note that "halting" is a freature of a Turing machine (a
>>> Turing
>>> machine halts or does not halt) but "abnormal termination" seems to be
>>> a feature of a particlar simulation (a simulation of a Truing machine
>>> is or is not abnormally terminated).
>>>
>>
>
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer