[extropy-chat] Si vs C again

[scerir]

> Kasparov vs Fritz game 1 = draw.

A draw? Are there deeper reasons for a draw?
Mathematicians investigate ....

------------------

CONJECTURE 1. The actual game of actual CHESS is a draw, is neither provable
nor refutable in ZFC with abbreviation power, using less than 2^1000
symbols.

CONJECTURE 2. The actual game of actual CHESS is a draw, is neither provable
nor refutable in ZFC + "there exists an elementary embedding from a rank
into itself" with abbreviation power, using less than 2^1000 symbols.

CONJECTURE 3. There is an actual chess position in actual CHESS, where it is
provable in ZFC + "there exists a measurable cardinal" that it is a draw,
using less than 2^20 symbols (with abbreviation power), but there is no
proof in ZFC using less than 2^1000 symbols (with abbreviation power) that
it is a draw.

Harvey Friedman

--------------------

Vladik Kreinovich, Richard Watson,
"How difficult is it to invent a non-trivial game?",
Cybernetics and Systems, 1994, Vol. 25, No. 4, pp. 629-640.
http://www.cs.utep.edu/vladik/1993/tr93-34a.pdf