novaBBS - sci.math - Re: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR

COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR

<33248880-4d10-4e09-95e6-bcf45c734ec8n@googlegroups.com>

https://www.novabbs.com/tech/article-flat.php?id=102060&group=sci.math#102060

X-Received: by 2002:a37:5e87:0:b0:6a6:b45d:8e48 with SMTP id s129-20020a375e87000000b006a6b45d8e48mr2596805qkb.730.1654450800564;
Sun, 05 Jun 2022 10:40:00 -0700 (PDT)
X-Received: by 2002:a05:6902:1107:b0:661:3946:d577 with SMTP id
o7-20020a056902110700b006613946d577mr13769290ybu.614.1654450800426; Sun, 05
Jun 2022 10:40:00 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer02.iad!feed-me.highwinds-media.com!news.highwinds-media.com!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Sun, 5 Jun 2022 10:40:00 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:2778:1dac:598d:528b:e893:fb0c;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:2778:1dac:598d:528b:e893:fb0c
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <33248880-4d10-4e09-95e6-bcf45c734ec8n@googlegroups.com>
Subject: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Sun, 05 Jun 2022 17:40:00 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2237

by: Graham Cooper - Sun, 5 Jun 2022 17:40 UTC

----------------------------------------------------------------------------------------------------

Extend the Reals to contain UNKNOWN digits!

r1 0.000
r2 0.1?1
r3 0.000

ANTI-DIAGONAL IS COMPUTED AT ROW 2
|UDR| = |N|
R C UDR
|R| = |N|

[ COMPLETE REALS ]

--------------------------------------------------

2 GODEL

Godels proof gets up to STEP 2, that a 2nd theory can prove godels statement. But T1 can SEE T2's proof that G is true so T1 KNOWS G is true

LOGIC AUGMENTS FACTS with KNOWLEDGE (emulated theories)

[ COMPLETE LOGIC ]

-------------------------------------------------------

3 HALT

function LOOPS( X )
if HALT( X X ) LOOPS( X )

LOOPS ( L )
-->
HALT( L,L ) ?

IF LOOPS(LOOPS) HALT VALUE IS TRUE THEN IT LOOPS
IF LOOPS(LOOPS) HALT VLAUE IS FALSE THEN IT HALTS
CONTRADICTION

HALT( P I ) JUST RETURNS "3" FOR ANY PROGRAM THAT PEEKS
at its own halt value and does the opposite

So halt output values are LISTABLE as UNKNOWN DIGIT REALS!

[ COMPLETE COMPUTABLE ]

Re: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR

<t7k067$r9a$1@gioia.aioe.org>

copy mid

https://www.novabbs.com/tech/article-flat.php?id=102095&group=sci.math#102095

copy link Newsgroups: sci.math

Path: i2pn2.org!i2pn.org!aioe.org!42V55DPF/EHESwy7gmIc+w.user.46.165.242.75.POSTED!not-for-mail
From: hoofs...@poofster.net (Hoofington P. McSnort)
Newsgroups: sci.math
Subject: Re: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR
Date: Sun, 5 Jun 2022 21:35:19 -0700
Organization: Aioe.org NNTP Server
Message-ID: <t7k067$r9a$1@gioia.aioe.org>
References: <33248880-4d10-4e09-95e6-bcf45c734ec8n@googlegroups.com>
Reply-To: hoofster@poofster.net
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="27946"; posting-host="42V55DPF/EHESwy7gmIc+w.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.9.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2

by: Hoofington P. McSnor - Mon, 6 Jun 2022 04:35 UTC

We can predict everything, except the future.

tech / sci.math / Re: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR

Subject	Author
COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR	Graham Cooper
Re: COOPERS HAT TRICK! ........ disproving GODEL, TURING, CANTOR	Hoofington P. McSnort