Deutsch English Français Italiano |
<v28uve$1a3tk$8@i2pn2.org> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!news-out.netnews.com!s1-1.netnews.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!usenet.blueworldhosting.com!diablo1.usenet.blueworldhosting.com!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon <richard@damon-family.org> Newsgroups: comp.theory,sci.logic Subject: Re: Olcott is a Liar! Date: Fri, 17 May 2024 21:06:54 -0400 Organization: i2pn2 (i2pn.org) Message-ID: <v28uve$1a3tk$8@i2pn2.org> References: <v18e32$1vbql$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> <v20eg6$bn7u$1@dont-email.me> <v20eqg$bki0$2@dont-email.me> <v20g5p$c1lu$1@dont-email.me> <v20gld$c8gh$1@dont-email.me> <v21k9m$nao2$1@dont-email.me> <v22f9e$tjgs$1@dont-email.me> <v22i3t$u5vc$1@dont-email.me> <v22nq4$ven4$1@dont-email.me> <v22uc5$10vef$1@dont-email.me> <v22vh7$11dig$2@dont-email.me> <v231gd$11ppa$1@dont-email.me> <v234r2$12odu$1@dont-email.me> <v24njh$1gvck$2@dont-email.me> <v256n5$1kais$2@dont-email.me> <v257o1$1kd2t$1@dont-email.me> <v25aqg$1l575$2@dont-email.me> <v25krf$1nb8s$1@dont-email.me> <v25n16$1nr9a$1@dont-email.me> <v271ms$2339e$1@dont-email.me> <v27t7q$28hmg$3@dont-email.me> <v280c2$295g9$1@dont-email.me> <v283gv$29rd7$2@dont-email.me> <v289kt$2au93$1@dont-email.me> <v28bh3$2be7c$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Injection-Date: Sat, 18 May 2024 01:06:55 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1380276"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: <v28bh3$2be7c$1@dont-email.me> Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 X-Received-Bytes: 5765 Bytes: 5935 Lines: 95 On 5/17/24 3:34 PM, olcott wrote: >> Again no proof. But it seems that olcott is slowly starting to >> understand that it is not self-evident, because he now shows a small >> beginning of an attempt for a proof. It is a pity for him that he >> ignored the rest of my post where I told him a brief outline for a proof. >> What we still miss are the requirements for H. > > I try to do the best that I can to write my words so that even people > with attention deficit disorder (ADD) can understand them. > > The ONLY requirement for H as I have said many many hundreds of times > is that H simulates D. > > The self-evident meaning of what D correctly simulated by H means is > now specified so that people trying as hard as possible to make sure > to find any loophole to intentionally misinterpret my words will look > much more foolish. Which, since I posted over two weeks ago how to do it in C, means that you don't have the needed knowledge of the C programming language, or about what truth actually is. And the fact that you refuse to take up any of my challenges to have me repost the link (because you clearly prefer to just lie rather that try to do some research) it is clear that you are not actually certain of your claim, so you know you may be lying, but you do it anyway. And you are proven to just be an ignorant damned pathological liar. > >> A working example is not enough to define an infinite set of H. So, >> define the requirements. >> > > I did and always have. Possibly not well enough for people having > ADD that can hardly pay any attention. Not well enough for people > having insufficient knowledge of the semantics of C. But YOU are the one shown to not have sufficient knowledge, since I proved it two weeks ago. > >> Then, do not only claim that there is a simulation invariant, but >> prove it. > > Prove that 2 + 3 = 5 to someone that does not know what numbers are. > No need for any proof for people that understand arithmetic. > >> Of course you need to master a language to express such a proof. If >> you don't master such a language, try to learn it. Claiming, without >> evidence, that it is self-evident is not part of the correct language. >> > > If you have ADD and can't pay attention or do not know the semantics > of C well enough to understand that I have proved my point I don't > know what I can do to help you understand that what I have said has > always been self-evidently true for everyone having sufficient > knowledge of the semantics of C. Which, since I posted over two weeks ago how to do it in C, means that you don't have the needed knowledge of the C programming language, or about what truth actually is. And the fact that you refuse to take up any of my challenges to have me repost the link (because you clearly prefer to just lie rather that try to do some research) it is clear that you are not actually certain of your claim, so you know you may be lying, but you do it anyway. And you are proven to just be an ignorant damned pathological liar. > > Tell me which part you don't understand and I might be able to help. > If you have no idea what infinite recursion is then I cannot help. > >> Then explain how H determines that there is a recursive simulation, so >> that it can abort the simulation. >> > > *That is not any part of what I claimed above* > *That is not any part of what I claimed above* > *That is not any part of what I claimed above* > > *You must pay 100% complete attention to my exact words* > *You must pay 100% complete attention to my exact words* > *You must pay 100% complete attention to my exact words* > > If you don't have that much attention span, I can't help. > If you don't have that much attention span, I can't help. > If you don't have that much attention span, I can't help. >