Mathématiques ludiques et technologie

Dans un jeu à deux joueurs, quand on cherche à dire que le second joueur a une stratégie gagnante, on obtient un énoncé du type
    Pour tout coup1 du premier joueur...
    Il existe un coup2 du second joueur tel que...
    Pour tout coup3 du premier joueur...
    Il existe un coup4 du second joueur tel que...
    ...
    Le second joueur gagne

On retrouve un énoncé de ce type dans la définition du concept de limite : pour tout epsilon, il existe un delta ...

Ceci nous conduit à imaginer un jeu à deux joueurs, où le premier donnerait des nombres epsilon positifs en guise de défi, et où le second devrait trouver des nombres delta en guise de réponse. Voici un petit logiciel mettant en scène cette idée.