Seemingly simple games can serve as thought-provoking exercises in mathematical logic. They can provide deep insights into subtle issues that confront logicians who are interested in the foundations of mathematics.
So-called Ehrenfeucht games have proved particularly useful for tackling certain aspects of mathematical logic. They were developed in the 1960s by Andrzej Ehrenfeucht, who is now a computer science professor at the University of Colorado in Boulder.
Log in
Subscribers, enter your e-mail address for full access to the Science News archives and digital editions.