Deutsch English Français Italiano |
<v22gad$tjgs$4@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: comp.theory,sci.logic Subject: Re: Is Richard a Liar? No! Date: Wed, 15 May 2024 09:19:57 -0500 Organization: A noiseless patient Spider Lines: 68 Message-ID: <v22gad$tjgs$4@dont-email.me> References: <v18e32$1vbql$1@dont-email.me> <v1q9fp$qb0p$1@i2pn2.org> <v1qmq8$2prs6$1@dont-email.me> <v1qouc$2qb2s$1@dont-email.me> <v1vbpd$3gbc$1@dont-email.me> <v1vslr$7enr$1@dont-email.me> <v1vuor$24b2$1@news.muc.de> <v20027$865j$1@dont-email.me> <v200oo$843p$1@dont-email.me> <v200u2$8dd9$1@dont-email.me> <v202k0$8q16$1@dont-email.me> <v20654$9o07$1@dont-email.me> <v2086v$a4tr$1@dont-email.me> <v208db$a6jn$1@dont-email.me> <v20ak6$an12$1@dont-email.me> <v20b6v$akk9$1@dont-email.me> <v22e19$2u32$1@news.muc.de> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 15 May 2024 16:19:57 +0200 (CEST) Injection-Info: dont-email.me; posting-host="0b1a5f306bf9a6832a28841b3fc547c1"; logging-data="970268"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18CgpQKQeMttqgsSZ9XLW0Z" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:DBy4AyH08dKZx1FI7mqC7+SmLvs= Content-Language: en-US In-Reply-To: <v22e19$2u32$1@news.muc.de> Bytes: 3608 On 5/15/2024 8:40 AM, Alan Mackenzie wrote: > [ Followup-To: set ] > > In comp.theory olcott <polcott333@gmail.com> wrote: >> On 5/14/2024 1:30 PM, Fred. Zwarts wrote: >>> Op 14.mei.2024 om 19:52 schreef olcott: >>>> On 5/14/2024 12:49 PM, Fred. Zwarts wrote: > > [ .... ] > >>>>>>>>>>> In comp.theory olcott <polcott333@gmail.com> wrote: > > [ .... ] > >>>>>>>>>>>> 00 int H(ptr x, ptr x) // ptr is pointer to int function >>>>>>>>>>>> 01 int D(ptr x) >>>>>>>>>>>> 02 { >>>>>>>>>>>> 03 int Halt_Status = H(x, x); >>>>>>>>>>>> 04 if (Halt_Status) >>>>>>>>>>>> 05 HERE: goto HERE; >>>>>>>>>>>> 06 return Halt_Status; >>>>>>>>>>>> 07 } >>>>>>>>>>>> 08 >>>>>>>>>>>> 09 int main() >>>>>>>>>>>> 10 { >>>>>>>>>>>> 11 H(D,D); >>>>>>>>>>>> 12 } > > [ .... ] > >>>>> But nobody here knows the proof for your assertion above, that it is >>>>> a verified fact that it cannot reach past line 03. So, we would like >>>>> to see that proof. Just the claim that it has been proven is not enough. > >>>> The "nobody here" you are referring to must be clueless >>>> about the semantics of the C programming language. > >>> Are you honest? Please, give the proof, instead of keeping away from it. > >> I have been an expert C/C++ programmer for decades. > > I see evidence to the contrary. *Switching away from the topic of the post is not a rebuttal* *Switching away from the topic of the post is not a rebuttal* *Switching away from the topic of the post is not a rebuttal* Message-ID: <v0ummt$2qov3$2@i2pn2.org> On 5/1/2024 7:28 PM, Richard Damon wrote: > On 5/1/24 11:51 AM, olcott wrote: *When Richard interprets* *Every D simulated by H that cannot possibly* *stop running unless aborted by H* as *D NEVER simulated by H* Richard is saying for all "D simulated by H" there exists at least one element of "D NEVER simulated by H" Can this be an honest mistake? -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer