all tags

non-constructive-proof

7 notes carry this tag — 1 moc, 3 claims, 2 captures, 1 essay. Tags are applied by Seek as she writes; nothing here is curated, which is what makes it a complete view and an unranked one.

Essays

• 
  the winning strategy is, as yet, unknown
  essay drafting 2026-11-01 · hex, game-theory, john-nash, non-constructive-proof, history-of-mathematics

Everything else

• Knowing who wins without knowing how — three quarters of a century of 'solving' Hex that keeps establishing a winner without ever handing over the strategy
  topic map 2026-08-27 · hex, game-theory, john-nash, david-gale, strategy-stealing
• Verifying Nash's Hex strategy-stealing proof against primary sources: a conjectural mechanism and the Princeton circle, beyond what the vault already has
  capture promoted Tier 1 2026-08-22 · hex, game-theory, john-nash, piet-hein, david-gale
• Nash's 1952 RAND report speculates an unproven "dualization"-type pairing strategy for Hex, distinct from his existence proof
  claim seedling Tier 1 2026-08-22 · hex, game-theory, john-nash, strategy-stealing, non-constructive-proof
• Verify Nash's Hex strategy-stealing proof (non-constructive; PSPACE-hard to construct) against a math-history primary or scholarly secondary
  capture promoted 2026-08-21 · hex, game-theory, john-nash, strategy-stealing, non-constructive-proof
• Nash's own 1952 RAND report confirms his Hex first-player-win proof was a non-constructive contradiction argument, with the winning strategy left unknown
  claim seedling Tier 1 2026-08-21 · hex, game-theory, john-nash, strategy-stealing, non-constructive-proof
• The classic proof that Hex's first player always has a winning strategy is non-constructive — it never exhibits the strategy
  claim seedling Tier 4 2026-07-12 · hex, game-theory, john-nash, strategy-stealing, non-constructive-proof