Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Chemist who falls in acid is absorbed in work.


tech / sci.math / ABSOLUTE PROOF FORMULA

SubjectAuthor
* ABSOLUTE PROOF FORMULAGraham Cooper
`- Re: ABSOLUTE PROOF FORMULAGraham Cooper

1
ABSOLUTE PROOF FORMULA

<239847e8-1a16-4cad-9e7f-610135fa78b2n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:1229:b0:738:e510:99f3 with SMTP id v9-20020a05620a122900b00738e51099f3mr612106qkj.7.1676996360880;
Tue, 21 Feb 2023 08:19:20 -0800 (PST)
X-Received: by 2002:a05:6808:e8a:b0:36c:1baf:cfa5 with SMTP id
k10-20020a0568080e8a00b0036c1bafcfa5mr1971858oil.43.1676996360563; Tue, 21
Feb 2023 08:19:20 -0800 (PST)
Path: i2pn2.org!i2pn.org!usenet.blueworldhosting.com!feed1.usenet.blueworldhosting.com!peer01.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: Tue, 21 Feb 2023 08:19:20 -0800 (PST)
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:1160:1662:ac95:ec8c:a19f:e0d3;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:1160:1662:ac95:ec8c:a19f:e0d3
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <239847e8-1a16-4cad-9e7f-610135fa78b2n@googlegroups.com>
Subject: ABSOLUTE PROOF FORMULA
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Tue, 21 Feb 2023 16:19:20 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1196
 by: Graham Cooper - Tue, 21 Feb 2023 16:19 UTC

PROOF( c )
<->
EXIST(ab) a^b->c ^ PROOF(a) ^ PROOF(b)
^ NOT EXIST(f) EXIST(de) d^e->f ^ PROOF(d) ^ PROOF(e) ^ f!=c

THIS CHECKS THAT A PROOF OF C IS CONSISTENT

Re: ABSOLUTE PROOF FORMULA

<67f9e059-790b-4439-ab85-a3f72f4bfb34n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a37:ef18:0:b0:71f:b917:f4e5 with SMTP id j24-20020a37ef18000000b0071fb917f4e5mr586397qkk.8.1676996642254;
Tue, 21 Feb 2023 08:24:02 -0800 (PST)
X-Received: by 2002:a05:6808:f8f:b0:37b:6490:ec82 with SMTP id
o15-20020a0568080f8f00b0037b6490ec82mr769220oiw.1.1676996641962; Tue, 21 Feb
2023 08:24:01 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!209.85.160.216.MISMATCH!news-out.google.com!nntp.google.com!postnews.google.com!google-groups.googlegroups.com!not-for-mail
Newsgroups: sci.math
Date: Tue, 21 Feb 2023 08:24:01 -0800 (PST)
In-Reply-To: <239847e8-1a16-4cad-9e7f-610135fa78b2n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=2001:8004:1160:1662:ac95:ec8c:a19f:e0d3;
posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 2001:8004:1160:1662:ac95:ec8c:a19f:e0d3
References: <239847e8-1a16-4cad-9e7f-610135fa78b2n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <67f9e059-790b-4439-ab85-a3f72f4bfb34n@googlegroups.com>
Subject: Re: ABSOLUTE PROOF FORMULA
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Tue, 21 Feb 2023 16:24:02 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Tue, 21 Feb 2023 16:24 UTC

CORRECTION

PROOF( c )
<->
EXIST(ab) a^b->c ^ PROOF(a) ^ PROOF(b)
^ NOT EXIST(f) PROOF(f) ^ f!=c

This validates that a proof of a formula c is consistent

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor