算法

在数学中，对角论证常被用来证明某一对象不存在。要把这一论点准确地形式化是比较困难的，但通过看一些例子就很容易理解了。 康托尔的对角论证 第一个用对角论证的人是乔治·康托尔。他指出在…