Argomento diagonale di Cantor: differenze tra le versioni

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]]), l'indecidibilitàlpo lità 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]].