检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]北京师范大学哲学与社会学学院,北京100875
出 处:《自然辩证法研究》2015年第3期22-26,共5页Studies in Dialectics of Nature
基 金:国家社会科学基金项目"当代计算主义的理论难题研究"(10BZX022);国家社会科学基金项目"认知科学对当代哲学的挑战--心灵与认知哲学重大理论问题研究"(11AZD120)
摘 要:侯世达认为哥德尔证明的核心在于"自指"或"怪圈",他在阐述哥德尔定理的基础上提出了层次区分及意义获取理论,认为形式系统具有层次结构,而这种层次结构正是意义产生的根源。侯世达的这一理论指出了那些用哥德尔不完全性定理来反对计算主义的观点是不成立的,计算主义并没有因为哥德尔不完全性定理的存在而被驳倒,反而在侯世达理论的启发下,计算主义拥有了更为坚实的基础。In Hofstadter's view,"self-reference"lie at the core of Codel's Proof. This leads to the question of how symbols in a formal system acquire meaning, various levels of formal systems are discussed. Hofstadter's belief, is that the "strange loop", an interaction between levels as the crux of meaning. Hofstadter's ideas can provide a satisfactory answer: Why Godel's theorem cannot refute computationalism. By addressing these and other Hofstadter's ideas are so crucial to a firm foundation for computationalism.
分 类 号:N031[自然科学总论—科学技术哲学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.28