[FOM] WILD chess conjectures

[Harvey Friedman]

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