Pulsars
0 %
Log inSign up

Rédiger la preuve diagonale

Open answer

Rédige la démonstration de la non-dénombrabilité de R\mathbb{R} par l'argument diagonal : pose l'hypothèse absurde sur [0;1[\left[0 \,;\, 1\right[, construis le réel fuyant, et justifie précisément le choix des chiffres employés.