Oui je connais cette démonstration, mais je ne savais pas qu'elle était la généralisation de la démonstration avec la diagonale.
gilou a écrit :
Effectivement, la construction (et le fait qu'elle apporte une contradiction) revient a une étape a construire x comme modification de lui même à une certaine décimale. Mais c'est une construction tout a fait licite du fait de la méthode employée, qui ne viole en rien l'hypothèse R est dénombrable.
|
Je ne vois absolument pas comment c'est étape est possible, quelque soit la méthode employée, ce sera toujours une contradiction pour moi de définir quelque chose comme étant en partie une modification de lui même. C'est uniquement ce que je reproche au théorème, et c'est ce qui me bloque.
Mais je ne veux pas jour au pingpong sur le topic, merci à ceux qui ont participé au topic 
.
FORUM HardWare.fr
