novaBBS - sci.math - NEW-MATH.com GODEL DISPROOF

NEW-MATH.com GODEL DISPROOF

<e21a7990-9106-42bc-a652-f0d72c3df08fn@googlegroups.com>

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

X-Received: by 2002:a0c:aad6:0:b0:56f:45d1:9ff8 with SMTP id g22-20020a0caad6000000b0056f45d19ff8mr1193952qvb.41.1677044619189;
Tue, 21 Feb 2023 21:43:39 -0800 (PST)
X-Received: by 2002:a05:6808:2218:b0:383:b199:bdcc with SMTP id
bd24-20020a056808221800b00383b199bdccmr480691oib.221.1677044618764; Tue, 21
Feb 2023 21:43:38 -0800 (PST)
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: Tue, 21 Feb 2023 21:43:38 -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: <e21a7990-9106-42bc-a652-f0d72c3df08fn@googlegroups.com>
Subject: NEW-MATH.com GODEL DISPROOF
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Wed, 22 Feb 2023 05:43:39 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Bytes: 1398

by: Graham Cooper - Wed, 22 Feb 2023 05:43 UTC

EXTENDED GODELS PROOF

(1) g = NOT(EXIST(p) PROOF(p g))
(2) ASSUME g<->FALSE
(3) EXIST(p) PROOF(p g) .....[2-->1]
(4) g<->TRUE .....[BY 3]
(5) CONTRADICTION [2]<-/->[4]
(6) g<->TRUE .....[!2]
(7) NOT(EXIST(p) PROOF(p g)) .....[6-->1]
(8) g .....[BY 6]
(9) EXIST(P) PROOF(G) .....[BY 8]
(10) CONTRADICTION .....[7]<-/->[9]

www.NEW-MATH.com

Re: NEW-MATH.com GODEL DISPROOF

<6a346f8a-e992-4867-aef7-c85f0c3aa5ffn@googlegroups.com>

copy mid

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

copy link Newsgroups: sci.math

X-Received: by 2002:ac8:4997:0:b0:3bb:92c4:9441 with SMTP id f23-20020ac84997000000b003bb92c49441mr943624qtq.13.1677045852307;
Tue, 21 Feb 2023 22:04:12 -0800 (PST)
X-Received: by 2002:a05:6808:e8a:b0:36c:1baf:cfa5 with SMTP id
k10-20020a0568080e8a00b0036c1bafcfa5mr2187854oil.43.1677045852008; Tue, 21
Feb 2023 22:04:12 -0800 (PST)
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border-2.nntp.ord.giganews.com!nntp.giganews.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 22:04:11 -0800 (PST)
In-Reply-To: <e21a7990-9106-42bc-a652-f0d72c3df08fn@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: <e21a7990-9106-42bc-a652-f0d72c3df08fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6a346f8a-e992-4867-aef7-c85f0c3aa5ffn@googlegroups.com>
Subject: Re: NEW-MATH.com GODEL DISPROOF
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Wed, 22 Feb 2023 06:04:12 +0000
Content-Type: text/plain; charset="UTF-8"
Lines: 22

by: Graham Cooper - Wed, 22 Feb 2023 06:04 UTC

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

EXTENDED GODELS PROOF

(1) g = NOT(EXIST(p) PROOF(p g))

(2) ASSUME g<->FALSE
(3) EXIST(p) PROOF(p g) .....[2-->1]
(4) g<->TRUE .....[BY 3]
(5) CONTRADICTION [2]<-/->[4]

(6) ASSUME g<->TRUE
(7) EXIST(P) PROOF(G) .....[BY 6]
(8) NOT(EXIST(p) PROOF(p g)) .....[6-->1]
(9) CONTRADICTION .....[7]<-/->[8]

g IS NEITHER TRUE NOR FALSE
g HAS BOTH TRUTH VALUES
g IS SELF-CONTRADICTORY

(10) g<->FALSE

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

Re: NEW-MATH.com GODEL DISPROOF

<9dc1147b-ce92-4b8e-a3cf-2a70037801f5n@googlegroups.com>

copy mid

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

copy link Newsgroups: sci.math

X-Received: by 2002:ad4:5913:0:b0:56f:80e:701b with SMTP id ez19-20020ad45913000000b0056f080e701bmr1334731qvb.2.1677108473960;
Wed, 22 Feb 2023 15:27:53 -0800 (PST)
X-Received: by 2002:a05:6870:d95:b0:16d:be40:c3cf with SMTP id
mj21-20020a0568700d9500b0016dbe40c3cfmr871137oab.298.1677108473659; Wed, 22
Feb 2023 15:27:53 -0800 (PST)
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: Wed, 22 Feb 2023 15:27:53 -0800 (PST)
In-Reply-To: <e21a7990-9106-42bc-a652-f0d72c3df08fn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=82.131.39.1; posting-account=UBlCSwoAAADdxhdQxZGxBFugicYc4jtH
NNTP-Posting-Host: 82.131.39.1
References: <e21a7990-9106-42bc-a652-f0d72c3df08fn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <9dc1147b-ce92-4b8e-a3cf-2a70037801f5n@googlegroups.com>
Subject: Re: NEW-MATH.com GODEL DISPROOF
From: techfan5...@hotmail.com (Technology Fan)
Injection-Date: Wed, 22 Feb 2023 23:27:53 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 1743

by: Technology Fan - Wed, 22 Feb 2023 23:27 UTC

Who is that man ?

I have heared about G ö d e l.

On Wednesday, February 22, 2023 at 7:43:43 AM UTC+2, Graham Cooper wrote:
> EXTENDED GODELS PROOF
>
> (1) g = NOT(EXIST(p) PROOF(p g))
> (2) ASSUME g<->FALSE
> (3) EXIST(p) PROOF(p g) .....[2-->1]
> (4) g<->TRUE .....[BY 3]
> (5) CONTRADICTION [2]<-/->[4]
> (6) g<->TRUE .....[!2]
> (7) NOT(EXIST(p) PROOF(p g)) .....[6-->1]
> (8) g .....[BY 6]
> (9) EXIST(P) PROOF(G) .....[BY 8]
> (10) CONTRADICTION .....[7]<-/->[9]
>
> www.NEW-MATH.com

Friction is a drag.

tech / sci.math / NEW-MATH.com GODEL DISPROOF

Subject	Author
NEW-MATH.com GODEL DISPROOF	Graham Cooper
Re: NEW-MATH.com GODEL DISPROOF	Graham Cooper
Re: NEW-MATH.com GODEL DISPROOF	Technology Fan