In mathematics, the binary game is a
topological game
In mathematics, a topological game is an infinite game of perfect information played between two players on a topological space. Players choose objects with topological properties such as points, open sets, closed sets and open coverings. Time is ...
introduced by
Stanislaw Ulam
Stanisław Marcin Ulam (; 13 April 1909 – 13 May 1984) was a Polish-American scientist in the fields of mathematics and nuclear physics. He participated in the Manhattan Project, originated the Teller–Ulam design of thermonuclear weapo ...
in 1935 in an addendum to problem 43 of the
Scottish book as a variation of the
Banach–Mazur game
In general topology, set theory and game theory, a Banach–Mazur game is a topological game played by two players, trying to pin down elements in a set (space). The concept of a Banach–Mazur game is closely related to the concept of Baire spac ...
.
In the binary game, one is given a fixed subset ''X'' of the set
''N'' of all sequences of 0s and 1s. The players take it in turn to choose a digit 0 or 1, and the first player wins if the sequence they form lies in the set ''X''. Another way to represent this game is to pick a subset
of the interval