Paradosso dell'ipergioco: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
tolgo Vaglio, +W
Nessun oggetto della modifica
Riga 31:
''x'' rispetto alla funzione ''f''. Se ''x'' è un elemento finito allora ''f''(''x'')=''D'' contiene ''x'' e otteniamo la successione infinta: (x,x,x,x,x...). D'altro canto, se ''x'' è un elemento infinto la successione (x,a,b,c,d,...) non può che essere finita perchè ''a'' che appartiene a ''D'' è un elemento finito. ''f'' non può essere [[suriettiva]].
 
==Bibliografia==
*[[Raymond Smullyan]], ''"Satana, Cantor e l'infinito"'', Bompiani, 1994, ISBN 8845222624
 
==Voci correlate==
Per approfondimenti si vedano le voci [[paradossi dell'infinito]], [[autoreferenza]], [[teorema di Cantor]], [[teoria degli insiemi]] e soprattutto [[Smullyan]], il famoso logico autore di "Satana,Cantor e l'infinito" in cui è spiegato anche il paradosso dell'ipergioco.
*[[paradossi dell'infinito]]
 
*[[autoreferenza]]
*[[teorema di Cantor]]
*[[teoria degli insiemi]]
 
{{Portale|matematica}}
[[Category:Teoria degli insiemi]]
[[Category:Paradossi matematici|Paradosso dell'ipergioco]]