Rocksolid Light

Welcome to novaBBS (click a section below)

mail  files  register  nodelist  faq  login

There are two ways to write error-free programs; only the third one works.


computers / comp.ai.philosophy / Unless the Goldbach conjecture is provable it is not true

SubjectAuthor
* Unless the Goldbach conjecture is provable it is not trueolcott
`- Re: Unless the Goldbach conjecture is provable it is not trueAlan Mackenzie

1
Subject: Unless the Goldbach conjecture is provable it is not true
From: olcott
Newsgroups: comp.theory, sci.logic, sci.math, comp.ai.philosophy
Date: Sun, 6 Mar 2022 15:04 UTC
Path: i2pn2.org!i2pn.org!weretis.net!feeder6.news.weretis.net!news.misty.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!buffer2.nntp.dca1.giganews.com!buffer1.nntp.dca1.giganews.com!news.giganews.com.POSTED!not-for-mail
NNTP-Posting-Date: Sun, 06 Mar 2022 09:04:07 -0600
Date: Sun, 6 Mar 2022 09:04:05 -0600
MIME-Version: 1.0
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
Thunderbird/91.6.1
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Content-Language: en-US
From: NoO...@NoWhere.com (olcott)
Subject: Unless the Goldbach conjecture is provable it is not true
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Message-ID: <N_-dneDsqqT6ULn_nZ2dnUU7_83NnZ2d@giganews.com>
Lines: 25
X-Usenet-Provider: http://www.giganews.com
X-Trace: sv3-ICcC0gIt3abH1o+JQ7lWPNK/5BpgS7nLvqALCGpVB35XguddDZI9qePo/+rTMPBaSy520WNGfHcYXHh!91gGERtg6RBTIcHcmZX4g3XD5bmAscymS+vvovRGICAQhQZva5V49oZffhW0egbVtzKJQ/ztN5bp
X-Complaints-To: abuse@giganews.com
X-DMCA-Notifications: http://www.giganews.com/info/dmca.html
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint properly
X-Postfilter: 1.3.40
X-Original-Bytes: 1896
View all headers
If there exists a single (even whole number greater than 2) that
cannot possibly be proved to meet the Goldbach criteria then the
Goldbach conjecture is not true.

A is the set of (even whole numbers greater than 2)
P means {Provably meet the Goldbach criteria}
¬Goldbach ⇔ ∃x ∈ A, ¬P(x) // first paragraph translated into math

Math correctly transforms it into this
Goldbach ⇔ ∀x ∈ A, P(x)

⇔ if and only if;
https://en.wikipedia.org/wiki/List_of_logic_symbols

Goldbach if and only if
all elements of the set of
(even whole numbers greater than 2)
Provably meet the Goldbach criteria

--
Copyright 2021 Pete Olcott

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer


Subject: Re: Unless the Goldbach conjecture is provable it is not true
From: Alan Mackenzie
Newsgroups: comp.theory, sci.logic, sci.math, comp.ai.philosophy
Followup: sci.math
Organization: muc.de e.V.
Date: Sun, 6 Mar 2022 20:01 UTC
References: 1
Path: i2pn2.org!i2pn.org!weretis.net!feeder8.news.weretis.net!news-peer.in.tum.de!news.muc.de!.POSTED.news.muc.de!not-for-mail
From: acm...@muc.de (Alan Mackenzie)
Newsgroups: comp.theory,sci.logic,sci.math,comp.ai.philosophy
Subject: Re: Unless the Goldbach conjecture is provable it is not true
Followup-To: sci.math
Date: Sun, 6 Mar 2022 20:01:08 -0000 (UTC)
Organization: muc.de e.V.
Message-ID: <t033u4$1emi$1@news.muc.de>
References: <N_-dneDsqqT6ULn_nZ2dnUU7_83NnZ2d@giganews.com>
Injection-Date: Sun, 6 Mar 2022 20:01:08 -0000 (UTC)
Injection-Info: news.muc.de; posting-host="news.muc.de:2001:608:1000::2";
logging-data="47826"; mail-complaints-to="news-admin@muc.de"
User-Agent: tin/2.4.5-20201224 ("Glen Albyn") (FreeBSD/12.3-RELEASE-p1 (amd64))
View all headers
[ Followup-To: set ]

In sci.math olcott <NoOne@nowhere.com> wrote:

[ .... ]

Goldbach if and only if
all elements of the set of
(even whole numbers greater than 2)
Provably meet the Goldbach criteria

No, you're wrong.  You're as wrong as the people who believe the Earth
is flat.  Both your belief and those of the flat-Earthers were
respectable things to believe in times past, but our knowledge of these
things has advanced in recent decades and centuries.

The Goldbach Conjecture is, of course, true if every large enough even
number is the sum of two primes, provably or not.  Make sure you don't
venture too close to the edge of the Earth.  ;-)

--
Copyright 2021 Pete Olcott

Talent hits a target no one else can hit;
Genius hits a target no one else can see.
Arthur Schopenhauer

--
Alan Mackenzie (Nuremberg, Germany).



1
rocksolid light 0.7.2
clearneti2ptor