Su per le Alpi Lombarde, che si affacciano sul Lago Maggiore, si usa, per rendere il sapore di certe particolari situazioni, porre, a chi dura fatica inutilmente seppur con un intento lodevole, una domanda, assurta ormai alla dignità di saggezza popolare, che ricorda le origini montanare delle popolazioni autoctone: "E' più stupida la lepre o chi la rincorre?".
Ai posteri l'ardua sentenza.
mi è venuto un dubbio
-
MindFlyer
-
polibio
visto che c'è gente a cui queste cose interessano, fate il piacere di andare a rompere i coglioni da un'altra parte
ognuno può darsi gli assiomi che gli paiono più opportuni o anche inopportuni e chissenefrega ma all'interno di questi va mantenuta la coerenza del sitema senno andiamo tutti affanculo e buonanotte ai rompicoglioni
ammettiamo che la corrispondenz biunivoca sipossa basare su un numero infinio di funzioni e che per ogni elemento dell'insieme A si possa utilizzare una funzione diversa che lo metta in relazione ad uno ed un solo elemento dell'insieme B
a appartenete ad A è in relazione a b di B tramite la funzione f1
a1 e b1 con f2 e così via non è difficile dimostrare che ogni insieme è equipotente ad un altro
ma visto che mi piace giocare faccio finta che il sistema formale che risponde al nome "teoria assiomatica degli insiemi" sia un sistema coerente
la diagonale di cantor non dimostra la non numrabilità dei reali perchè se così fosse dovrebbero essere non numerabili anche gli interi, infatti acendo le dovute sotituzioni abbiamo
per via degli assiomi dell'aritmetica la diagonale non coprirà mai tutti i z, quindi se Z è numerabile l'uso della diagonale per R non ha significato
se a qualcuno interessa abbiamo l'opportunita di riscrivere la teoria degli insiemi, se non interessa a nessuno allora evviva il sudoku
ognuno può darsi gli assiomi che gli paiono più opportuni o anche inopportuni e chissenefrega ma all'interno di questi va mantenuta la coerenza del sitema senno andiamo tutti affanculo e buonanotte ai rompicoglioni
ammettiamo che la corrispondenz biunivoca sipossa basare su un numero infinio di funzioni e che per ogni elemento dell'insieme A si possa utilizzare una funzione diversa che lo metta in relazione ad uno ed un solo elemento dell'insieme B
a appartenete ad A è in relazione a b di B tramite la funzione f1
a1 e b1 con f2 e così via non è difficile dimostrare che ogni insieme è equipotente ad un altro
ma visto che mi piace giocare faccio finta che il sistema formale che risponde al nome "teoria assiomatica degli insiemi" sia un sistema coerente
la diagonale di cantor non dimostra la non numrabilità dei reali perchè se così fosse dovrebbero essere non numerabili anche gli interi, infatti acendo le dovute sotituzioni abbiamo
Codice: Seleziona tutto
1 2 3 4 5 ...
1 x
-1 x
2 x
-2 x
3 x
... x
se a qualcuno interessa abbiamo l'opportunita di riscrivere la teoria degli insiemi, se non interessa a nessuno allora evviva il sudoku
-
MindFlyer
Dunque polibio, prima di tutto modera le parole o ti banno.
Seconda cosa, assumo che tu non stia facendo il finto tonto e che non capisca veramente le cose, anche perché altrimenti avresti una bella fantasia ad inventare obiezioni strampalate di questo genere.
Per questo motivo ti rispondo ancora.
E comunque questa costruzione non dimostra la non numerabilità di Z! Infatti dovresti poter costruire un intero di Z che è diverso da tutti quelli che hai elencato, variando gli elementi marcati dalle x sulla diagonale. Ma il fatto è che, ehm, le tue x non marcano niente... Nell'esempio con i reali marcavano le cifre, ma qui non marcano niente, capito? Il procedimento diagonale così non funziona.
Seconda cosa, assumo che tu non stia facendo il finto tonto e che non capisca veramente le cose, anche perché altrimenti avresti una bella fantasia ad inventare obiezioni strampalate di questo genere.
Per questo motivo ti rispondo ancora.
La diagonale che hai fatto copre tutti gli interi di Z, proprio perché li hai ordinati in modo che siano in bigezione con N. In che modo gli assiomi dell'aritmetica implicherebbero che la diagonale non copre Z??polibio ha scritto:per via degli assiomi dell'aritmetica la diagonale non coprirà mai tutti i z
E comunque questa costruzione non dimostra la non numerabilità di Z! Infatti dovresti poter costruire un intero di Z che è diverso da tutti quelli che hai elencato, variando gli elementi marcati dalle x sulla diagonale. Ma il fatto è che, ehm, le tue x non marcano niente... Nell'esempio con i reali marcavano le cifre, ma qui non marcano niente, capito? Il procedimento diagonale così non funziona.
-
polibio
-
cannigo