Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  newsreader  groups  login

Message-ID:  

Netscape is not a newsreader, and probably never shall be. -- Tom Christiansen

tech / sci.math / Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED

SubjectAuthor
* GODEL'S INCOMPLETENESS THEOREM DISPROVEDGraham Cooper
+- Re: GODEL'S INCOMPLETENESS THEOREM DISPROVEDHicham Dubois
`* Re: GODEL'S INCOMPLETENESS THEOREM DISPROVEDzelos...@gmail.com
 `* Re: GODEL'S INCOMPLETENESS THEOREM DISPROVEDGraham Cooper
  `- Re: GODEL'S INCOMPLETENESS THEOREM DISPROVEDGraham Cooper

1
GODEL'S INCOMPLETENESS THEOREM DISPROVED

<0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a05:620a:158c:: with SMTP id d12mr5257775qkk.42.1622995326182;
Sun, 06 Jun 2021 09:02:06 -0700 (PDT)
X-Received: by 2002:a5b:f05:: with SMTP id x5mr18086884ybr.425.1622995326054;
Sun, 06 Jun 2021 09:02:06 -0700 (PDT)
Path: i2pn2.org!i2pn.org!paganini.bofh.team!usenet.pasdenom.info!usenet-fr.net!fdn.fr!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: Sun, 6 Jun 2021 09:02:05 -0700 (PDT)
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.174; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.174
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>
Subject: GODEL'S INCOMPLETENESS THEOREM DISPROVED
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Sun, 06 Jun 2021 16:02:06 +0000
Content-Type: text/plain; charset="UTF-8"
 by: Graham Cooper - Sun, 6 Jun 2021 16:02 UTC

In G.I.T. given theory T

T |- G <-> not(EXIST(proof) PROOF(proof,G))

a 2nd theory T' is required to prove G

This is not so, T can prove G is "right" via a proxy theory

In G.I.T. more powerful theories are required to prove the godel statement in each lower theory. But the "MORE POWERFUL" theories are not needed, T itself can prove G is "right".

I am lying.......... AND I KNOW IT!

O . . . . . . . . . "this is not true"
-|-
/\

O . . . . . . . . . 'from someone elses perspective "this is not true" is not true so its right'
-|-
/\

THIS DISPROVES GODEL'S INCOMPLETENESS THEOREM!

T|- PROXY|- !E(p)P(p,G)

no 2nd theory needed!

Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED

<s9iui3$3p6$2@gioia.aioe.org>

  copy mid

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

  copy link   Newsgroups: sci.math
Path: i2pn2.org!i2pn.org!aioe.org!vKMwBVRZwcOc2chBjCzatg.user.gioia.aioe.org.POSTED!not-for-mail
From: hid...@yahoo.com (Hicham Dubois)
Newsgroups: sci.math
Subject: Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED
Date: Sun, 6 Jun 2021 16:53:25 +0000 (UTC)
Organization: Aioe.org NNTP Server
Lines: 11
Message-ID: <s9iui3$3p6$2@gioia.aioe.org>
References: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>
NNTP-Posting-Host: vKMwBVRZwcOc2chBjCzatg.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-Complaints-To: abuse@aioe.org
User-Agent: NewsTap/5.3.1 (iPod Touch)
X-Notice: Filtered by postfilter v. 0.9.2
 by: Hicham Dubois - Sun, 6 Jun 2021 16:53 UTC

Graham Cooper wrote:

> In G.I.T. given theory T T |- G <-> not(EXIST(proof) PROOF(proof,G))
> a 2nd theory T' is required to prove G

Nonsense. That's entirely arbitrary. Also, Jacinta Ardern isn't a woman,
but a dude. She's Mr. Ed in disguise. This fake corona is good because
otherwise I never know the New Zealand is a shithole. Wondering how
fucking stoopid people can be, (s)electing a dude, posing as a retarded
version of a woman, as the head of a state. Only in capitalism. Rotten
stinking capitalism.

Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED

<e589d1ff-4bb7-4a4c-b011-ed1f212cecb5n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:a0c:8346:: with SMTP id j64mr14815344qva.16.1623065784862;
Mon, 07 Jun 2021 04:36:24 -0700 (PDT)
X-Received: by 2002:a5b:70a:: with SMTP id g10mr24307694ybq.326.1623065784598;
Mon, 07 Jun 2021 04:36:24 -0700 (PDT)
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: Mon, 7 Jun 2021 04:36:24 -0700 (PDT)
In-Reply-To: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=79.136.72.131; posting-account=9KdpAQoAAAAHk6UQCkS1dsKOLsVDFEUN
NNTP-Posting-Host: 79.136.72.131
References: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <e589d1ff-4bb7-4a4c-b011-ed1f212cecb5n@googlegroups.com>
Subject: Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED
From: zelos.ma...@gmail.com (zelos...@gmail.com)
Injection-Date: Mon, 07 Jun 2021 11:36:24 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: zelos...@gmail.com - Mon, 7 Jun 2021 11:36 UTC

söndag 6 juni 2021 kl. 18:02:11 UTC+2 skrev Graham Cooper:
> In G.I.T. given theory T
>
> T |- G <-> not(EXIST(proof) PROOF(proof,G))
>
> a 2nd theory T' is required to prove G
>
> This is not so, T can prove G is "right" via a proxy theory
>
> In G.I.T. more powerful theories are required to prove the godel statement in each lower theory. But the "MORE POWERFUL" theories are not needed, T itself can prove G is "right".
>
>
> I am lying.......... AND I KNOW IT!
>
> O . . . . . . . . . "this is not true"
> -|-
> /\
>
>
>
> O . . . . . . . . . 'from someone elses perspective "this is not true" is not true so its right'
> -|-
> /\
>
>
> THIS DISPROVES GODEL'S INCOMPLETENESS THEOREM!
>
> T|- PROXY|- !E(p)P(p,G)
>
> no 2nd theory needed!
this is nonsense

Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED

<b0013198-9c65-4560-989c-1da30494271bn@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ac8:45cc:: with SMTP id e12mr7806236qto.227.1623067561398;
Mon, 07 Jun 2021 05:06:01 -0700 (PDT)
X-Received: by 2002:a25:e911:: with SMTP id n17mr24501659ybd.101.1623067561190;
Mon, 07 Jun 2021 05:06:01 -0700 (PDT)
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: Mon, 7 Jun 2021 05:06:00 -0700 (PDT)
In-Reply-To: <e589d1ff-4bb7-4a4c-b011-ed1f212cecb5n@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.104.174; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.104.174
References: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com> <e589d1ff-4bb7-4a4c-b011-ed1f212cecb5n@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <b0013198-9c65-4560-989c-1da30494271bn@googlegroups.com>
Subject: Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Mon, 07 Jun 2021 12:06:01 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Graham Cooper - Mon, 7 Jun 2021 12:06 UTC

On Monday, June 7, 2021 at 9:36:31 PM UTC+10, zelos...@gmail.com wrote:
> söndag 6 juni 2021 kl. 18:02:11 UTC+2 skrev Graham Cooper:
> > In G.I.T. given theory T
> >
> > T |- G <-> not(EXIST(proof) PROOF(proof,G))

Zelos cant comprehend logic!

> >
> > a 2nd theory T' is required to prove G

Zelos doesnt understand Godels Proof

> >
> > This is not so, T can prove G is "right" via a proxy theory
> >
> > In G.I.T. more powerful theories are required to prove the godel statement in each lower theory.

Simple explanation beyond Zelos

> > But the "MORE POWERFUL" theories are not needed, T itself can prove G is "right".
> >
> >
> > I am lying.......... AND I KNOW IT!
> >
> > O . . . . . . . . . "this is not true"
> > -|-
> > /\

I am lying
this is not true
this is not derivable from the axioms
this is not provable

are all equivalent to a godel statement

> >
> >
> >
> > O . . . . . . . . . 'from someone elses perspective "this is not true" is not true so its right'
> > -|-
> > /\
> >
> >
> > THIS DISPROVES GODEL'S INCOMPLETENESS THEOREM!
> >
> > T|- PROXY|- !E(p)P(p,G)
> >
> > no 2nd theory needed!
> this is nonsense

Zelos has nothing of substance to say as always

The disproof of the incompleteness theorem is simple.

T4 |- T3(godel)
T3 |- T2(godel)
T2 |- T1(godel)

is how the INCOMPLETENESS THEOREM works.... more and more powerful theories T2 T3 T4... are needed to prove more and more godel statements.

but they all use the SAME AXIOMS so 1 theory is complete

T1 |- T2 |- godel

T1 is COMPLETE!

Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED

<6b13aee9-bf06-4d23-95e3-1c26777c9b11n@googlegroups.com>

  copy mid

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

  copy link   Newsgroups: sci.math
X-Received: by 2002:ad4:45a6:: with SMTP id y6mr22957259qvu.54.1623152111709;
Tue, 08 Jun 2021 04:35:11 -0700 (PDT)
X-Received: by 2002:a5b:70a:: with SMTP id g10mr32196287ybq.326.1623152111409;
Tue, 08 Jun 2021 04:35:11 -0700 (PDT)
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, 8 Jun 2021 04:35:11 -0700 (PDT)
In-Reply-To: <b0013198-9c65-4560-989c-1da30494271bn@googlegroups.com>
Injection-Info: google-groups.googlegroups.com; posting-host=1.132.110.106; posting-account=EsDGawkAAAAN6xcF2fi-X0yb3ECD-3_I
NNTP-Posting-Host: 1.132.110.106
References: <0f50651b-50af-43b0-a7f1-3a2a22db7940n@googlegroups.com>
<e589d1ff-4bb7-4a4c-b011-ed1f212cecb5n@googlegroups.com> <b0013198-9c65-4560-989c-1da30494271bn@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <6b13aee9-bf06-4d23-95e3-1c26777c9b11n@googlegroups.com>
Subject: Re: GODEL'S INCOMPLETENESS THEOREM DISPROVED
From: grahamco...@gmail.com (Graham Cooper)
Injection-Date: Tue, 08 Jun 2021 11:35:11 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
 by: Graham Cooper - Tue, 8 Jun 2021 11:35 UTC

On Monday, June 7, 2021 at 10:06:08 PM UTC+10, Graham Cooper wrote:
> On Monday, June 7, 2021 at 9:36:31 PM UTC+10, zelos...@gmail.com wrote:
> > söndag 6 juni 2021 kl. 18:02:11 UTC+2 skrev Graham Cooper:
> > > In G.I.T. given theory T
> > >

> > > T |- G <-> not(EXIST(proof) PROOF(proof,G))

> Zelos cant comprehend logic!
> > >
> > > a 2nd theory T' is required to prove G
> Zelos doesnt understand Godels Proof
> > >
> > > This is not so, T can prove G is "right" via a proxy theory
> > >
> > > In G.I.T. more powerful theories are required to prove the godel statement in each lower theory.
> Simple explanation beyond Zelos
> > > But the "MORE POWERFUL" theories are not needed, T itself can prove G is "right".
> > >
> > >

> > > I am lying.......... AND I KNOW IT!
> > >
> > > O . . . . . . . . . "this is not true"
> > > -|-
> > > /\

> I am lying
> this is not true
> this is not derivable from the axioms
> this is not provable

>
> are all equivalent to a godel statement
> > >
> > >
> > >
> > > O . . . . . . . . . 'from someone elses perspective "this is not true" is not true so its right'
> > > -|-
> > > /\
> > >
> > >
> > > THIS DISPROVES GODEL'S INCOMPLETENESS THEOREM!
> > >
> > > T|- PROXY|- !E(p)P(p,G)
> > >
> > > no 2nd theory needed!
> > this is nonsense

Bump for any more comments with substance !

1
server_pubkey.txt

rocksolid light 0.9.81
clearnet tor