Two students in my game development course would like, as a final project, to develop a video game for teaching mathematics. In contrast to the many other games for teaching maths, which focus mainly on problem solving, they want to focus on the concept of a mathematical proof, in particular: proofs of classic theorems in number theory, such as Euclid's theorem or the fundamental theorem of arithmetics. Students often find such proofs hard to learn due to their "infinite" nature: while any finite number of examples is not sufficient, there is a finitely-written proof that covers all infinitely-many cases. The difficulty is both in understanding the proofs and in writing their own proofs.

As an example in-game idea that might be used to illustrate these abstract concepts, we thought of a hero that must defeat a monster. The hero can shoot at the monster some special cases of the theorem (e.g. prime numbers), but this only slows the monster down temporarily. In order to defeat it completely, the hero must build an "induction machine" that can construct cases endlessly. There are many other proof concepts that should be considered.

My questions are:

  • Are there video games that aim to teach the concepts of mathematical proofs (rather than just problem solving)?
  • What are some research papers regarding the difficulties encountered by students in learning mathematical proofs?
  • $\begingroup$ Not an answer, but this recent article about proof assistants and the video links within might be helpful: quantamagazine.org/… $\endgroup$
    – Adam
    Commented Nov 10, 2020 at 13:04
  • $\begingroup$ This does not answer the reference request, but I remember thinking the number machine puzzles in the 2nd half of Smullyan's book The Lady or the Tiger would have done well in a game format. $\endgroup$
    – Nick C
    Commented Nov 10, 2020 at 14:35
  • 5
    $\begingroup$ Can you avoid shooting? $\endgroup$
    – Rusty Core
    Commented Nov 10, 2020 at 15:46
  • $\begingroup$ @RustyCore probably yes, this is only an illustration $\endgroup$ Commented Nov 11, 2020 at 15:27
  • $\begingroup$ The Natural Number Game isn't quite what you're looking for, but it's maybe relevant? $\endgroup$ Commented Nov 19, 2020 at 16:58


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.