浅谈反证法的可操作性——基于康托尔对角线法、哥德尔不完全性定理、图灵停机问题及EPR悖论 |
| |
作者姓名: | 黄汝广 |
| |
作者单位: | 深圳南天电力有限公司,广东深圳,518000 |
| |
摘 要: | 一直以来,康托尔对角线法总是与反证法密不可分,然而反证法并不如通常看得那样简单。文章从操作主义的观点,针对反证法提出了几点可操作性的要求,然后分析了几个著名的反证法论证,发现都不同程度地存在一些问题。由于不恰当的隐性假设,康托尔关于实数集不可数的证明是无效的。哥德尔为证明不完全性定理而引入的一个定理违反了矛盾律,并且他关于"可证"与"真"的区分实际上是陷入了循环论证。图灵停机问题其实是比较晚近的提法,与图灵的原始论文有较大差别,而且有些证明思路可能还或多或少地误解了图灵。最后,通过分析爱因斯坦的EPR悖论,进一步强调了假设唯一以及事实认定,对于反证法的重要性。
|
关 键 词: | 反证法 可操作性 隐性假设 事实 康托尔对角线 哥德尔不完全性定理 图灵停机问题 EPR悖论 |
本文献已被 CNKI 万方数据 等数据库收录! |
|