Computer Chess Club Archives


Search

Terms

Messages

Subject: Knowing the Unknowable

Author: Stephen A. Boak

Date: 23:16:04 02/24/05

Go up one level in this thread


On February 24, 2005 at 15:13:44, Uri Blass wrote:

>On February 24, 2005 at 14:45:51, Albert Silver wrote:
>
>>On February 24, 2005 at 14:41:08, James T. Walker wrote:
>>
>>>On February 24, 2005 at 14:37:33, Gian-Carlo Pascutto wrote:
>>>
>>>>On February 24, 2005 at 13:56:22, James T. Walker wrote:
>>>>
>>>>>This statement at the tournament site is interesting.
>>>>
>>>>The organiser of the tournament is one of the programmers of Hydra. You should
>>>>not expect objective information.
>>>>
>>>>--
>>>>GCP
>>>
>>>Yes, GCP.  But so far nobody can prove him wrong.  Or have I missed something?
>>>Jim
>>
>>In my opinion, it goes the other way: it has to prove it is the strongest
>>entity, and not everyone else in the world that must prove him wrong. The
>>strongest entities are GM Kasparov and GM Anand.
>>
>>                                          Albert
>
>I do not see a way to prove it.
>
>Maybe some unidentified item already solved chess and is the strongest entity
>and humans are too stupid for his interest so he does not play chess with humans
>or chess programs that were developed by humans.
>
>Uri

Very good, Uri!  You are indeed a master chess player!  Your nihilistic
mathematical intuition has put its finger on a philosophical conundrum that has
beguiled philosophers for centuries.

Congratulations--you have solved it!  You have proven beyond a shadow of a doubt
that there is no possible way of ever proving anything!

Mathematics will never be the same again.  An exception to all 'proofs' may lurk
somewhere out there, deep in the heart of a black hole or in a galaxy far, far
away.  And the really scary thing, there may be more than one exception per
proof.  We'll just never know, will we.  :)





This page took 0 seconds to execute

Last modified: Thu, 15 Apr 21 08:11:13 -0700

Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.