[ExI] The Soul

[John Clark]

On Sun, Apr 26, 2020 at 4:12 PM Jason Resch via extropy-chat <
extropy-chat at lists.extropy.org> wrote:

> *Godel proved that it is impossible to define mathematical truth.*


Godel proved there are an infinite number of statements that are true but
have no proof; on the bright side there are also an infinite number of true
statements that do have proofs. But then a few years later Turing proved
there is no general procedure that would always allow you to separate the
provable statements from the unprovable sort, no way to separate the false
statements from the true statements that have no proof. If the Goldbach
Conjecture is one of these, and if it isn't there are an infinite number of
similar statements that are, then we will always be looking, and failing,
to find a proof to show it is true, and always be looking, and failing, to
find a numerical example to show it is false.

 John K Clark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20200426/498be82c/attachment.htm>