Warning: mysqli::__construct(): (HY000/1203): User howardkn already has more than 'max_user_connections' active connections in D:\Inetpub\vhosts\howardknight.net\al.howardknight.net\includes\artfuncs.php on line 21
Failed to connect to MySQL: (1203) User howardkn already has more than 'max_user_connections' active connectionsPath: ...!weretis.net!feeder9.news.weretis.net!i2pn.org!i2pn2.org!.POSTED!not-for-mail From: Richard Damon Newsgroups: comp.theory,sci.logic Subject: Re: 197 page execution trace of DDD correctly simulated by HHH --- Richard proves that he is clueless Date: Tue, 2 Jul 2024 22:23:32 -0400 Organization: i2pn2 (i2pn.org) Message-ID: References: <04db95a103cfbcb76bd6082752ed89932cfce5d5@i2pn2.org> <95b8d2686a17a5fee6b5811ca115c902fbc7b17a@i2pn2.org> <5b7927d3326970682c6165aa8d2b4bccee65df37@i2pn2.org> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Wed, 3 Jul 2024 02:23:33 -0000 (UTC) Injection-Info: i2pn2.org; logging-data="1962626"; mail-complaints-to="usenet@i2pn2.org"; posting-account="diqKR1lalukngNWEqoq9/uFtbkm5U+w3w6FQ0yesrXg"; User-Agent: Mozilla Thunderbird In-Reply-To: Content-Language: en-US X-Spam-Checker-Version: SpamAssassin 4.0.0 Bytes: 4750 Lines: 74 On 7/2/24 10:09 PM, olcott wrote: > On 7/2/2024 8:59 PM, Richard Damon wrote: >> On 7/2/24 9:54 PM, olcott wrote: >>> On 7/2/2024 8:48 PM, Richard Damon wrote: >>>> On 7/2/24 9:42 PM, olcott wrote: >>>>> >>>>> The Tarski proof directly provides the detailed inference steps. >>>>> So it is not that I do under understand the Gödel proof it is that >>>>> this proof is opaque completely hiding all of the important details. >>>> >>>> No, you miss the fact that you are starting in the MIDDLE of an >>>> arguement, and that what you are thinking as a assumption is a >>>> proven statement (which you don't understand) >>>> >>> >>> You can't correct my error because you know that you have no >>> understanding of the Tarski proof. It is the same tactic as >>> always dishonestly deflect rather than make any attempt to >>> correct to hide the fact that you are clueless. >>> >>> >> >> Nope, I WON'T correct your error, because you have proved yourself to >> be a LIAR. >> > You just proved that you are clueless. Why, becasue I won't help a proven liar? You have proven that you do not have the necessary background to understand it, and even if you did you would just LIE about what it says, just like you always do. > >> I have explained it in the past, but you will not listen, because you >> have brainwashed yourself into beliving your own lies >> >> Until you either provide the Diagonalization proof you said you had, or > > *I never freaking said that I freaking had this* So you admit to claiming things that you do not know? That is just as bad. Remember, you said: > > Diagonalization conclusively proves otherwise and you know it. > Maybe the issue is that you are fundamentally a liar. > So, that seems to say you know a proof that proves something, I guess you are just admitting you don't know what you are talking about. I guess we should also consider EVERYTHING that you claim "must be true" is likely just another of your damned lies. > > I know that it does prove that G is unprovable yet is > horse shit because it totally hides why G is unprovable. > G is unprovable, because there is no finite proof of it, and you seem to agree to that. But G is also true, because it can not be false, and there *IS* an infinite logic sequence that can be done in PA that shows it to be true. Also, because G is a statement about the existance of a finite number with a specific computable property, it WILL be either True or False. It seems you logic doesn't want to accept such ideas, because you logic can only work on much simpler systems (if at all). YOU are the one full of Horse Shit because you don't understand logic, and you even contradict your own definitions.