他大胆的宣称：像是数学这种“形式化世界”，以及像是算法这种”非形式化“的世界外延是完全重合的，任何被称之为算法的直觉、形式化问题，都能够等价与在非形式化世界中，能被图灵机所解决的问题。 之所以叫做论题，而不是定理，是因为论题是试图连接形式化与非形式化概念的断言。 我们之所以相信这个断言，也是基于实践的检验，直觉的说服力。 reference