Deutsch English Français Italiano |
<v5bub0$vagk$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: immibis <news@immibis.com> Newsgroups: comp.theory Subject: Re: Why do people here insist on denying these verified facts? Date: Mon, 24 Jun 2024 16:03:12 +0200 Organization: A noiseless patient Spider Lines: 35 Message-ID: <v5bub0$vagk$1@dont-email.me> References: <v56n8h$3pr25$1@dont-email.me> <v58ql8$9g3i$1@dont-email.me> <v597ju$brmn$2@dont-email.me> <v5b7f8$qu74$1@dont-email.me> <v5btit$v0vb$5@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 24 Jun 2024 16:03:13 +0200 (CEST) Injection-Info: dont-email.me; posting-host="ff5a6b96f708ca68451f20ba0d3eca92"; logging-data="1026580"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18AUwc+OzURNLdWJ7xrNyUr" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:e14WUtwBEC3uHcaFvlcxudqljRo= In-Reply-To: <v5btit$v0vb$5@dont-email.me> Content-Language: en-US Bytes: 2099 On 24/06/24 15:50, olcott wrote: > On 6/24/2024 2:32 AM, Mikko wrote: >> On 2024-06-23 13:23:10 +0000, olcott said: >> >>> On 6/23/2024 4:42 AM, Mikko wrote: >>>> When the head line has the words "these verified facts" the message >>>> should >>>> first tell what facts are "these verified facts" and who verified them >>>> before any further discussion. >>>> >>> >>> It is a verified fact that 2 + 3 = 5 according to the semantics >>> of arithmetic. Anyone having an opinion that contradicts this is WRONG. >> >> Sure, but that was not the first thing mentioned in the initial message. >> > > > int P(ptr2 x) > { > int Halt_Status = H(x, x); > if (Halt_Status) > HERE: goto HERE; > return Halt_Status; > } > > The call from P to H(P,P) when P is correctly emulated > by H cannot possibly return. > > The call from P to H(P,P) when P is correctly emulated > by H1 DOES return. > > Verified fact: the emulation is incorrect