Paradosso dell'ipergioco: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m →Definizioni preliminari: typo |
|||
Riga 16:
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 si genera nel momento in cui si cerca di determinare se l'ipergioco
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.
|