Deutsch English Français Italiano |
<v0l22b$v2br$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: sci.logic Subject: Re: D simulated by H never halts no matter what H does V3 Date: Sun, 28 Apr 2024 11:40:43 +0300 Organization: - Lines: 14 Message-ID: <v0l22b$v2br$1@dont-email.me> References: <uvq0sg$21m7a$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org> <uvubo2$34nh3$1@dont-email.me> <uvvsap$3i5q8$1@dont-email.me> <v00mf6$3nu0r$1@dont-email.me> <v02gu5$6quf$1@dont-email.me> <v038om$bitp$2@dont-email.me> <v05b0k$sivu$1@dont-email.me> <v05r5e$vvml$2@dont-email.me> <v05vl4$1165d$1@dont-email.me> <v0679k$12sq2$1@dont-email.me> <v07r2j$1h57l$1@dont-email.me> <v08gn4$1lpta$2@dont-email.me> <v0ag7u$27jkb$1@dont-email.me> <v0b8np$2d4ja$1@dont-email.me> <v0c317$2538n$1@i2pn2.org> <v0c7fn$2k0tc$1@dont-email.me> <v0d3h1$2t938$1@dont-email.me> <v0doho$31mkn$2@dont-email.me> <v0forg$3j1dk$1@dont-email.me> <v0gmrt$3qd6i$1@dont-email.me> <v0hfab$3vjo8$1@dont-email.me> <v0hgn3$2a19s$7@i2pn2.org> <v0hl90$4ehj$1@dont-email.me> <v0hna7$2a19s$8@i2pn2.org> <v0hpt4$59oq$1@dont-email.me> <v0hsd2$2a19s$9@i2pn2.org> <v0i2oh$6orp$2@dont-email.me> <v0iog7$2csj2$1@i2pn2.org> <v0j295$dmbi$1@dont-email.me> <v0jbgf$2djoe$1@i2pn2.org> <v0jdul$g54u$2@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 28 Apr 2024 10:40:43 +0200 (CEST) Injection-Info: dont-email.me; posting-host="49eedfb9a8473a9164697c525c11a511"; logging-data="1018235"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18GGwCXYk9GN5iN6A3lK31s" User-Agent: Unison/2.2 Cancel-Lock: sha1:5wYFhSyxbZb3K34hvsHMIA5bdp4= Bytes: 2305 On 2024-04-27 17:51:17 +0000, olcott said: > When you agree that H(D,D) is a correct termination analyzer within > my definition then we can proceed to the next point about whether > my definition is correct or diverges from the standard definition. Nobody will agree that H(D,D) is a correct termination analyzer until you post a definition of "termination analyzer" and compare H(D,D) to that definition. And nut even then if the comparison is insufficient or erronous. -- Mikko