Paradosso dell'ipergioco: differenze tra le versioni

L'ipergioco è definito come il gioco in cui alla prima mossa un giocatore sceglie un gioco finito e lo comunica all'altro giocatore; alla seconda mossa questi inizia il gioco scelto dal primo giocatore.

 

 

Il paradosso nasce dall'ambiguità insita nella definizione di gioco: se infatti si decide a priori un [[insieme]] <math>S</math> di giochi ben definiti (finiti e non finiti), e si limita il secondo giocatore a scegliere all'interno dei giochi finiti dell'insieme <math>S</math>, si può applicare lo stesso ragionamento fatto, ma la conclusione in questo caso è semplicemente che l'ipergioco non fa parte dell'insieme <math>S</math>, perché non può essere né un suo elemento finito né un suo elemento infinito, in analogia col [[paradosso di Russell]] riguardo agli insiemi e alle classi.