First steps in constructive game theory
Douglas Bridges · Mathematical logic quarterly · 2004
Abstract The minimax theorem of matrix game theory is examined from a constructive point of view. It is then shown that the existence of solutions for matrix games cannot be proved constructively, but that a 2‐by‐2 game with at most one solution has a constructible solution. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)