Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

The nation that controls magnetism controls the universe. -- Chester Gould/Dick Tracy

tech / sci.math / Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE

SubjectAuthor
* COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLEGraham Cooper
`* Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLEHoratio Cornholer
 `- Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLEMathin3D

1
COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE

<6f87ccc9-fc9a-41ad-aa68-ce5e6eee127en@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:6214:3003:b0:462:1c15:772c with SMTP id ke3-20020a056214300300b004621c15772cmr16705322qvb.71.1654521804320;
Mon, 06 Jun 2022 06:23:24 -0700 (PDT)
X-Received: by 2002:a81:4ccb:0:b0:30c:71ba:6e1a with SMTP id
z194-20020a814ccb000000b0030c71ba6e1amr26407694ywa.431.1654521804151; Mon, 06
Jun 2022 06:23:24 -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: Mon, 6 Jun 2022 06:23:23 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:2778:1dac:4de8:628:19ca:7146;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:2778:1dac:4de8:628:19ca:7146
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6f87ccc9-fc9a-41ad-aa68-ce5e6eee127en@googlegroups.com>
Subject: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Mon, 06 Jun 2022 13:23:24 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 2239
 by: Graham Cooper - Mon, 6 Jun 2022 13:23 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

1 T1 constructs !E(p) PROOF(p,THIS)
2 T2 |- !E(p) PROOF(p,THIS)
3 T1 |- T2 |- !E(p) PROOF(p,THIS)
4 T1 |- KNOW |- !E(p) PROOF(p,THIS)

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: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE

<t7l3ks$1kc1$1@gioia.aioe.org>

  copy mid

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

  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: grahamco...@gmail.com (Horatio Cornholer)
Newsgroups: sci.math
Subject: Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE
Date: Mon, 6 Jun 2022 07:40:27 -0700
Organization: Aioe.org NNTP Server
Message-ID: <t7l3ks$1kc1$1@gioia.aioe.org>
References: <6f87ccc9-fc9a-41ad-aa68-ce5e6eee127en@googlegroups.com>
Reply-To: grahamcooper7@gmail.com
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Info: gioia.aioe.org; logging-data="53633"; 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: Horatio Cornholer - Mon, 6 Jun 2022 14:40 UTC

On 6/6/2022 6:23 AM, Graham Cooper wrote:
> ---------------------------------------------------------------------------------------------------
>
> Extend the Reals to contain UNKNOWN digits!
>
> r1 0.000
> r2 0.1?1
> r3 0.000

Shut up idiot.

Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE

<16164925-005f-4cd4-af94-70b2d4255967n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:622a:118e:b0:2f9:2aa1:71a9 with SMTP id m14-20020a05622a118e00b002f92aa171a9mr19599299qtk.190.1654543639839;
Mon, 06 Jun 2022 12:27:19 -0700 (PDT)
X-Received: by 2002:a0d:e883:0:b0:30c:4637:980c with SMTP id
r125-20020a0de883000000b0030c4637980cmr27749423ywe.103.1654543639712; Mon, 06
Jun 2022 12:27:19 -0700 (PDT)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer03.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: Mon, 6 Jun 2022 12:27:19 -0700 (PDT)
In-Reply-To: <t7l3ks$1kc1$1@gioia.aioe.org>
Injection-Info: google-groups.googlegroups.com; posting-host=147.70.88.70; posting-account=NPSZfwoAAADnLo0bjR29AqwlFTeNuI_c
NNTP-Posting-Host: 147.70.88.70
References: <6f87ccc9-fc9a-41ad-aa68-ce5e6eee127en@googlegroups.com> <t7l3ks$1kc1$1@gioia.aioe.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <16164925-005f-4cd4-af94-70b2d4255967n@googlegroups.com>
Subject: Re: COMPLETE LOGIC ------ COMPLETE REALS ------- COMPLETE COMPUTABLE
From: mathi...@gmail.com (Mathin3D)
Injection-Date: Mon, 06 Jun 2022 19:27:19 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1526
 by: Mathin3D - Mon, 6 Jun 2022 19:27 UTC

I second the motion.

On Monday, June 6, 2022 at 10:40:41 AM UTC-4, Horatio Cornholer wrote:
> On 6/6/2022 6:23 AM, Graham Cooper wrote:
> > ---------------------------------------------------------------------------------------------------
> >
> > Extend the Reals to contain UNKNOWN digits!
> >
> > r1 0.000
> > r2 0.1?1
> > r3 0.000
> Shut up idiot.

1
server_pubkey.txt

rocksolid light 0.9.8
clearnet tor