Argomento diagonale di Cantor: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Annullata la modifica 121017617 di 151.77.236.100 (discussione)
Etichetta: Annulla
Riga 48:
 
==Altri usi dell'argomento diagonale==
Altre dimostrazioni ottenute mediante l'argomento diagonale si trovano soprattutto nell'ambito della [[logica matematica]] e della [[teoria della computabilità]]. Esse sono l'[[insieme indecidibile|indecidibilità]] del [[problema della terminazione]], l'esistenza di una [[funzione calcolabile]] che non è [[funzione ricorsiva primitiva|primitiva ricorsiva]] (vedi anche la [[funzione di Ackermann]]), lpo litàl'indecidibilità dell'[[PA (matematica)|aritmetica di Peano]] e pure nel [[teorema di Ascoli-Arzelà]] se ne fa uso. L'argomento diagonale è anche alla base del [[paradosso di Richard]].
 
 
==Costruttivismo e argomento diagonale==