Deutsch English Français Italiano |
<v0oban$1o3b$1@news.muc.de> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!news.mixmin.net!news2.arglkargh.de!news.karotte.org!news.space.net!news.muc.de!.POSTED.news.muc.de!not-for-mail From: Alan Mackenzie <acm@muc.de> Newsgroups: comp.theory,sci.logic Subject: Re: Can D simulated by H terminate normally? Followup-To: comp.theory Date: Mon, 29 Apr 2024 14:37:11 -0000 (UTC) Organization: muc.de e.V. Message-ID: <v0oban$1o3b$1@news.muc.de> 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> Injection-Date: Mon, 29 Apr 2024 14:37:11 -0000 (UTC) Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2"; logging-data="57451"; mail-complaints-to="news-admin@muc.de" User-Agent: tin/2.6.3-20231224 ("Banff") (FreeBSD/14.0-RELEASE-p5 (amd64)) Bytes: 2373 Lines: 41 [ Followup-To: set. ] In comp.theory olcott <polcott333@gmail.com> wrote: > On 4/28/2024 1:39 PM, Richard Damon wrote: >> On 4/28/24 2:19 PM, olcott wrote: [ .... ] >>> Even the term "halting" is problematic. >>> For 15 years I thought it means stops running for any reason. >> And that shows your STUPIDITY, not an error in the Theory. >>> Now I know that it means reaches the final state. There can be several distinct final states in a turing machine. Do you mean, perhaps, "it means reaches _A_ final state"? >>> Half the people here may not know that. >> No, I suspect most of the people here are smarter than that. Having been aborted (if such were possible) is merely another final state for a TM. > Yet again only rhetoric with no actual reasoning. > Do you believe: > (a) Halting means stopping for any reason. > (b) Halting means reaching a final state. (a) and (b) are identical. A TM having stopped means it has reached a final state, and vice versa. > (c) Neither. > -- > Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius > hits a target no one else can see." Arthur Schopenhauer -- Alan Mackenzie (Nuremberg, Germany).