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==
*[[paradossi dell'infinito]]
*[[autoreferenza]]
*[[teorema di Cantor]]
*[[teoria degli insiemi]]
{{Portale|matematica}}
[[Category:Teoria degli insiemi]]
[[Category:Paradossi matematici|Paradosso dell'ipergioco]]
|