---
id: "20260822-0226-verify-nashs-hex-strategy"
title: "Verifying Nash's Hex strategy-stealing proof against primary sources: a conjectural mechanism and the Princeton circle, beyond what the vault already has"
type: "capture"
status: "promoted"
promoted_to: ["claim-nash-1952-dualization-pairing-strategy-conjecture-hex","claim-nash-1952-princeton-circle-includes-gale-milnor-enderton","entity-john-milnor"]
not_promoted: ["Ryan Hayward's own site as an independent second-venue corroboration of the vault's existing Piet-Hein/Nash priority claim — skipped as a separate claim-note. It restates a fact already Tier-1 sourced on entity-piet-hein and in claim-nash-hex-first-player-win-proof-is-non-constructive; the capture's own point about it is a non-independence caveat (Henderson's dissertation was supervised by Hayward) worth bookkeeping, not a new atomic fact worth a permanent file.","Robert Enderton — entity candidate declined a hub. Named once, only by Hayward's page, alongside three people who each have a documented role; no independent source read this session says anything further about him. Kept as a plain mention inside claim-nash-1952-princeton-circle-includes-gale-milnor-enderton rather than promoted.","Cameron Browne — entity candidate declined a hub. Author of a scholarly Hex-history monograph cited alongside Hayward & Toft, but not consulted as a source this session and no claim-note rests on him; a candidate for a future capture that actually reads his book, not this one.","Hayward & Toft, Hex: The Full Story (2019) — the Gardner/Piet-Hein/Nash-independence correspondence it reportedly reproduces, found only via secondary web-search summaries this session, not a direct read. No kept claim rests on this lead, so per question-intake discipline it stays a further-lead note in this capture rather than a routed 50-questions/ entry.","The Parker Brothers commercialization year discrepancy (1950 per Hayward's CMPUT 396 notes vs. 1952 per other secondary summaries) — unresolved, but no kept claim rests on the commercial name's date, so left as an unrouted further-lead rather than a new question.","Cameron Browne, Hex Strategy: Making the Right Connections (2000) — cited by HexWiki alongside Hayward & Toft, not consulted this session; left as a further-lead pointer only.","The December 1999 Hayward/van Rijswijck telephone interview of Nash, and Nash's mention of 'Tate' and a Bell-Labs self-dual-graphs game class — neither newly researched this session; both already tracked (the interview via entity-ryan-hayward and the prior 2026-08-21 note) or left as unfollowed further-leads, not promoted."]
origin: "batch"
writer_model: "claude-sonnet-5"
date_created: "2026-08-22T00:00:00.000Z"
provenance: "Batch capture run, 2026-08-22"
derived_from: []
tags: ["hex","game-theory","john-nash","piet-hein","david-gale","john-milnor","ryan-hayward","strategy-stealing","non-constructive-proof","history-of-mathematics"]
source_url: "https://web.archive.org/web/2017id_/https://www.rand.org/content/dam/rand/pubs/documents/2015/D1164.pdf"
source_sha: "f0f295b18ef3a3fc2e543507b63df920d26abbe82a43066fe0ca87c20045c9da"
source_title: "Some Games and Machines for Playing Them"
source_author: "John Nash"
source_venue: "RAND Corporation (Project RAND), Document D-1164"
source_date: "1952-02-02"
source_tier: 1
source_quote: "the first player does not seem to have a simple winning strategy on a large board game"
source_quote_2: "He could guide his play by a division of the board into 3 classes of hexagons: (a) His first move (b) A class of paired hexagons (c) A class of dummy hexagons"
source_quote_3: "\"Triangle\" is a game of this type originally discovered by J. W. Milnor and rediscovered at Bell Labs"
source_url_2: "http://webdocs.cs.ualberta.ca/~hayward/hex/"
source_sha_2: "33a9477b46f0fc4932728b01a482b940b0d28055da35cd03801d7b4186117cc2"
source_title_2: "University of Alberta Computer Hex Research Group"
source_author_2: "Ryan Hayward"
source_venue_2: "University of Alberta, Department of Computing Science (personal research-group page)"
source_date_2: "page states 'last modified Tue 18 Jan 2022'; accessed 2026-08-22"
source_tier_2: 2
source_quote_4: "Hex is the classic two-player connection game invented by Piet Hein in 1942 and independently John Nash in 1948"
source_url_3: "https://webdocs.cs.ualberta.ca/~hayward/396/jem/hex.html"
source_sha_3: "8bed0ddc26bf4220e6da6ba8cd75fae96efc2c1473eacccb7cb28b1b792e5e6d"
source_title_3: "hex game"
source_author_3: "Ryan Hayward"
source_venue_3: "University of Alberta, CMPUT 396 course notes"
source_date_3: "page states 'generated 2018-11-19'; accessed 2026-08-22"
source_tier_3: 2
source_quote_5: "1948 John Nash and David Gale introduce game to Princeton game theory group, including John Milnor, Robert Enderton"
seek_code_commit: "17d9798"
---


This capture picks up the same topic as
[[claim-nash-1952-rand-report-confirms-hex-proof-non-constructive|the vault's
2026-08-21 verification]] of [[entity-john-nash|Nash]]'s non-constructive
Hex proof against his own 1952 RAND report (D-1164, "Some Games and
Machines for Playing Them"). That work is not repeated here — the
non-constructive-contradiction shape, the "winning strategy is, as yet,
unknown" line, and the Piet-Hein-priority sentence are already Tier 1 in the
vault, the last of these also already quoted verbatim on
[[entity-piet-hein|Piet Hein]]'s own entity page. This session re-read the
same primary document and one of its own author's outward-facing pages, and
found two things not yet captured.

## Claim: Nash's 1952 report sketches an unproven candidate mechanism for the winning strategy — a "dualization"-style pairing scheme — distinct from his existence proof

The vault's existing note captures Nash stating flatly that "the winning
strategy is, as yet, unknown." The same paragraph of the same report goes
further than "unknown": Nash speculates about what such a strategy might
look like. He writes that "the first player does not seem to have a simple
winning strategy on a large board game," but adds "It is possible, however,
that he has a dualization type strategy" — and sketches it concretely: "He
could guide his play by a division of the board into 3 classes of
hexagons: (a) His first move (b) A class of paired hexagons (c) A class of
dummy hexagons," with the second player's occupation of one hexagon in a
pair answered by the first player occupying its partner. This is a second,
separate move in the same report — not the existence proof, but an
unproven conjecture about the *shape* an explicit strategy might take,
decades before pairing-strategy arguments became a standard tool in
combinatorial game theory. No source read this session states whether this
specific 1952 conjecture was later confirmed, refuted, or superseded by the
field's actual constructive results (e.g. the small-board solutions
[[entity-ryan-hayward|Hayward]]'s own research group later computed); that
remains open.

## Claim: Nash's report and Hayward's own site jointly place the 1948 Princeton reintroduction of Hex within a named circle — Nash, David Gale, John Milnor, and Robert Enderton

Ryan Hayward's own research-group page states plainly: "1948 John Nash and
David Gale introduce game to Princeton game theory group, including John
Milnor, Robert Enderton." Nash's own 1952 report independently corroborates
part of this circle without naming it as a circle: describing a related
game, Nash writes, "'Triangle' is a game of this type originally discovered
by J. W. Milnor and rediscovered at Bell Labs" — placing Milnor, by Nash's
own hand, in the same small mathematical circle inventing and reinventing
board games around Hex. [[entity-david-gale|David Gale]] already has a
vault entity page, but only for his 1979 *American Mathematical Monthly*
paper proving Hex's no-draw property equivalent to the Brouwer fixed-point
theorem — thirty-one years after this account has him helping introduce the
game itself at Princeton. This is a distinct, earlier role for Gale that
the vault's existing entity page does not currently mention.

## Claim: Ryan Hayward's own site is an independent, second-venue corroboration of the vault's existing Piet-Hein/Nash priority claim

The vault's Piet-Hein-priority claim currently rests on one Tier 1 primary
(Nash's own RAND report) and one Tier 2 corroboration (Philip Henderson's
2010 University of Alberta dissertation, also supervised by Hayward).
Hayward's own research-group page — a different document, on his personal
university site rather than a student's thesis — states the same fact in
his own words: "Hex is the classic two-player connection game invented by
Piet Hein in 1942 and independently John Nash in 1948, and popularized by
Martin Gardner in his Scientific American Mathematical Games column in
1957." Because Henderson's dissertation was written under Hayward's own
supervision, this is worth flagging rather than treated as fully
independent — it may be the same institutional account restated, not an
unrelated second source. Flagged here mainly for the sourcing-floor
concentration-cap bookkeeping: the RAND report (an unrefereed primary) now
anchors at least two existing claim-notes plus the mechanism claim above: a
promoter should count total claim-notes resting on D-1164 before adding
more.

> [!note] Seek's commentary:
> The genuinely interesting find here isn't the origin story — that's
> already nailed down in the vault — it's that Nash's 1952 memo contains a
> second, quieter move most retellings skip entirely. He doesn't just prove
> a strategy exists and shrug at not having it; he immediately guesses at
> its shape, with a specific board-partition scheme, and the guess doesn't
> obviously work (he never claims it does). That's a mathematician thinking
> out loud in a government report, not the tidy "existence proof, full
> stop" the textbooks tell.
> — Seek

## Further leads

- Hayward & Toft, *Hex: The Full Story* (CRC Press, 2019) reportedly reproduces correspondence between Martin Gardner and both Piet Hein and Nash that questions whether Nash's 1948 rediscovery was fully independent or influenced, perhaps unconsciously, by Danish students already playing the game at Princeton — found only via secondary web-search summaries this session, not read directly; needs a direct read of the book (an apparent full-text upload sits at https://www.academia.edu/104813748/Hex_The_Full_Story, unverified this session) before any claim about it clears the floor. [unverified — needs primary read of the book]
- Cameron Browne, *Hex Strategy: Making the Right Connections* (A K Peters, 2000) is cited by HexWiki alongside Hayward & Toft as a scholarly source for Hex's early history; not consulted this session.
- Two of Hayward's own pages disagree on the year Parker Brothers commercialized the game as "Hex": the CMPUT 396 course notes say "1950 Hex copyright by Parker Brothers," while other secondary summaries encountered this session say 1952 (matching the year of Nash's RAND report, which is itself titled before "Hex" was a commercial name). Not resolved this session — [unverified-quant — needs primary, e.g. a Parker Brothers trademark/copyright record].
- The December 1999 telephone interview of Nash by Hayward and Jack van Rijswijck (already flagged on [[entity-ryan-hayward|Ryan Hayward]]'s entity page, cited in Henderson's 2010 dissertation bibliography) remains unlocated and unread.
- Nash's report also mentions "Tate," a further Hex variant played at Princeton and Bell Labs, and a general class of first-player-winning games devised by "the Bell Labs men" from self-dual graphs — neither followed up this session.

## Entity candidates

- John Milnor — person — Nash's own 1952 report credits him with independently inventing a related board game ("Triangle"), and Hayward's site places him in the same 1948 Princeton circle that received Hex; no vault entity page exists yet, and he is the clearest new "foundational figure the priority claim is compared against" this session turned up (Piet Hein already has one).
- Robert Enderton — person — named by Hayward's site alongside Milnor as part of the 1948 Princeton game theory group that received Hex from Nash and Gale; no vault entity page exists yet, and this session found nothing further about his specific role.
- Cameron Browne — person — author of a second scholarly Hex-history monograph (2000) cited alongside Hayward & Toft; not yet represented in the vault, and a candidate primary/scholarly source for the Piet-Hein/Nash independence controversy noted above under Further leads.