Alice et Bob sont deux dieux qui souhaitent jouer à un jeu. Comme ils sont tous les deux immortels et très forts en mathématiques, ils décident de jouer à un jeu un peu spécial.
Les deux dieux se fixent un ensemble au préalable. Alice choisit un nombre et Bob un nombre . Ensuite, Bob choisit un segment de et le passe à Alice. Elle choisit à son tour un segment , vérifiant , et le redonne à Bob. Il va alors, à son tour, choisir vérifiant . Les deux amis répètent ce procédé à l’infini, et créent donc une suite de segments imbriqués de diamètre tendant vers , de sorte que soit un singleton. L’objectif d’Alice est que cet élément soit un réel appartement à , et bien sûr celui de Bob est de l’empêcher.
Manque de bol pour Bob, Alice arrive toujours à gagner. Bob rejoue en prenant pour essayer de gagner, en se disant qu’avec un peigne plus fin, il pourra empêcher Alice de tomber dans . Après plusieurs parties perdues, et beaucoup de valeurs testées, il se rend compte qu’Alice pourra toujours gagner, qu’importe le réel qu’il choisit.
Alice commence alors à narguer Bob : elle décide de partir se balader dans une dimension parallèle pendant que Bob réfléchie à son prochain coup. Vexé, ce dernier en profité pour jouer 400 tours d’affilée avant qu’Alice revienne de sa balade. A chaque fois qu’Alice revient, elle joue son coup puis repart se balader dans une autre dimension. A chaque fois qu’elle repart, Bob joue ses 400 tours d’affilée, mais ne joue jamais plus que 400 puisqu’Alice revient toujours trop vite pour qu’il puisse jouer son 401ème tour.
- Montrer qu’Alice va quand même finir par gagner contre Bob, même en lui accordant 400 tours de plus entre chaque tour.
- Si Alice décide de partir pour de plus en plus longtemps, est-ce qu’elle réussira quand même par trouver une stratégie pour gagner contre Bob ?
