**Next message:**Anders Sandberg: "Re: Animal Rights"**Previous message:**Robert Coyote: "Re: Notes from the Bill Joy radio talk"**In reply to:**Lee Corbin: "Re: MATH/COMP/PHIL: "Omega Man""**Next in thread:**scerir: "Re: MATH/COMP/PHIL: "Omega Man""**Reply:**scerir: "Re: MATH/COMP/PHIL: "Omega Man""**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

Lee Corbin <lcorbin@ricochet.net> Wrote:

* >suppose that there was a proof that GC could not be proved or
*

* >disproved. Then since it could not be disproved, it means that you
*

* >could not find any such even number. But since one might
*

* >pick any even number, that in turn would imply that there
*

* >is no even number that is not the sum of two primes. But
*

* >that would prove the theorem.
*

Yes, but it would be nice if you could prove it was either false or

true but unprovable, then we could just stop worrying about it and

move on to something more productive. However Turing demonstrated

that there are statements where it is impossible to do this; GC may or

may not be one of these. If it is and it's true then we will never know about it.

Instead a trillion years from now our hyper intelligent descendants will still

be looking, unsuccessfully, for a proof, and still be grinding through numbers

looking, unsuccessfully, for a counterexample.

John K Clark jonkc@att.net

**Next message:**Anders Sandberg: "Re: Animal Rights"**Previous message:**Robert Coyote: "Re: Notes from the Bill Joy radio talk"**In reply to:**Lee Corbin: "Re: MATH/COMP/PHIL: "Omega Man""**Next in thread:**scerir: "Re: MATH/COMP/PHIL: "Omega Man""**Reply:**scerir: "Re: MATH/COMP/PHIL: "Omega Man""**Messages sorted by:**[ date ] [ thread ] [ subject ] [ author ]

*
This archive was generated by hypermail 2b30
: Mon May 28 2001 - 09:59:45 MDT
*