现代数理逻辑的两个问题及其哲学涵义 |
| |
作者姓名: | 吴允曾 |
| |
摘 要: | 现代数理逻辑中有两个著名的未解决的问题,即(1)连续统问题(或者说实数有多少的问题);(2)P=?NP(或者说机械算法与非机械算法所能解决的问题是否一样多的问题)。这两个问题分别是集合论与计算机科学的数学基础中带根本性的问题。前一个问题在数学中具有重大意义,是集合论的奠基人康托在距今一百年前提出来的,至今我们不知道它的答案;而且已经知道,在通常的集合论中这个问题是不可能得到解决的。后一个问题是七十年代初提出来的,具有重大的理论意义和实际意义。现在已经知道,一旦这个问题得到解决,将有几
|
本文献已被 CNKI 等数据库收录! |
|