The Importance of Being Formal

Makarychev, K.S.; Makarychev, Yu S.
January 2001
Mathematical Intelligencer;Winter2001, Vol. 23 Issue 1
Academic Journal
Presents two mathematical problems involving playing cards and axiom of choice. Problem of cards given to participants of the Moscow Math Olympiad in spring 2000; Problem of a bet from Leonid Levin of Boston University; Statements of the problems; Solutions to the problems.


Related Articles

  • Card Games. Gough, John // Australian Primary Mathematics Classroom;Aug2001, Vol. 6 Issue 3, p16 

    Part III. Examines the mathematics behind common card games. Aim of the card game Happy Families; Format of the card game Old Maid; Instruction for playing the card game Rummy.

  • More or less. Paulu, Nancy; Martin, Margery // Ladybug;Aug95, Vol. 5 Issue 12, Ladybug for Parents p4 

    Presents a card game that teaches children how to count and learn the relationships of numbers.

  • The Card Game SET. Davis, Benjamin Lent; MacLagan, Diane; Kleber, Michael; Vakil, Ravi // Mathematical Intelligencer;Summer2003, Vol. 25 Issue 3, p33 

    Focuses on the card game set, a fast-paced game that has a rich mathematical structure. Origin of the game; Techniques to play the game; Description of the fourier transform method, a tool for analyzing problems associated with symmetry groups.

  • ENIGMA. Austin, Keith // New Scientist;7/14/90, Vol. 127 Issue 1725, p63 

    Presents a mathematical puzzle involving a pack of playing cards.

  • Games people play. Gale, David // Mathematical Intelligencer;Summer93, Vol. 15 Issue 3, p56 

    Presents Michael Paterson and Uri Zwick's analysis of the card game `Concentration'. Optimal strategy for an opponent who always turns over a second card when she does not get a match; Optimal strategy with two equally sophisticated players.

  • Games people do not play. Gale, David // Mathematical Intelligencer;Summer93, Vol. 15 Issue 3, p58 

    Presents theorems on the winning strategies for the second player in a memory game using an uncountable deck of cards. Zero-memory game as a special case of Martin Furer and Ernst Specker's result; Use of the axiom of choice and well-ordering in Richard Laver and Krzysztof's result.

  • Reasoning about Epistemic Actions and Knowledge in Multi-Agent Systems Using Coq. Malikovic, Marko; Cubrilo, Mirko // Computer Technology & Application;2011, Vol. 2 Issue 7, p616 

    In this paper, the authors outline a formal system for reasoning about agents' knowledge in knowledge games--a special type of multi-agent system. Knowledge games are card games where the agents' actions involve an exchange of information with other agents in the game. The authors' system is...

  • Bounded forcing axioms as principles of generic absoluteness. Bagaria, Joan // Archive for Mathematical Logic;2000, Vol. 39 Issue 6, p393 

    Abstract. We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a SIGMA[sub 1] sentence of the language of set theory with parameters...

  • NUMERO--A NUMERATE GAME. Murray, Jenny // Mathematics Teaching;Jun2003, Issue 183, p12 

    Discusses the role of the numerate card game Numero in mathematics education. Order of operations; Motivation produced by the game.


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics