Argomento diagonale di Cantor: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Etichette: Annullato Modifica visuale |
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]]),
==Costruttivismo e argomento diagonale==
|