侯世达认为哥德尔证明的核心在于"自指"或"怪圈",他在阐述哥德尔定理的基础上提出了层次区分及意义获取理论,认为形式系统具有层次结构,而这种层次结构正是意义产生的根源。侯世达的这一理论指出了那些用哥德尔不完全性定理来反对计算主义的观点是不成立的,计算主义并没有因为哥德尔不完全性定理的存在而被驳倒,反而在侯世达理论的启发下,计算主义拥有了更为坚实的基础。
科研之友
微信
新浪微博
Facebook
分享链接
