對角論證法維基百科,自由的 encyclopedia 對角論證法是喬治·康托爾於1891年提出的用於說明實數集合是不可數集的證明。 對角線法並非康托爾關於實數不可數的第一個證明,而是發表在他第一個證明的三年後。他的第一個證明既未用到十進制展開也未用到任何其它數系。自從該技巧第一次使用以來,在很大範圍內的證明中都用到了類似的證明構造方法,它們一般亦稱為對角論證法。
對角論證法是喬治·康托爾於1891年提出的用於說明實數集合是不可數集的證明。 對角線法並非康托爾關於實數不可數的第一個證明,而是發表在他第一個證明的三年後。他的第一個證明既未用到十進制展開也未用到任何其它數系。自從該技巧第一次使用以來,在很大範圍內的證明中都用到了類似的證明構造方法,它們一般亦稱為對角論證法。