diagonal argument的意思|示意

美 / daɪˈægənəl ˈɑ:ɡju:mənt / 英 / daɪˈæɡənəl ˈɑrɡjəmənt /

对角线方法

英语单词diagonal argument，又称斜线推理，是由德国数学家费曼在1931年发表的关于无尽量不可能实现的原理，即两个非负整数一一对应的表都有其对应的数组，但是不存在一个数组使得对应的数可以填入表中，从而遵守表格规则。

具体来说，diagonal argument可以用于证明某个抽象概念无论多么复杂，也不可能由非负整数唯一地确定。这种技术可以用来证明某些概念(如计算机的内存，字符串的编码等)无法以有限的方式用数字完成。

例子：

假设有一个表格，其中包含两列，每列都可以填入非负整数。如果有一个数组，它可以将表格中的每个单元格填入一个非负整数，使得表格规则得以满足，那么diagonal argument就说明这个数组是无限的，不可能存在。

因此，diagonal argument的用法让我们可以用简单的方法来证明某些抽象概念无法以有限的方式用非负整数表示，因此它在数学中的用处非常广泛。

1、 cantor's diagonal argument 对角论证法,对角线证明

First, this paper reveals that Cantor's Diagonal Argument has an enigmatic premise.

首先揭示，康托对角线法的使用存在一个隐含前提。