论文部分内容阅读
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立所需的条件。最后,依据上述分析,指出形式系统存在漏洞和局限性。同时,也看到了形式化方法的弊端和形式化的限度。
厘清形式系统的几个概念
【摘 要】
：
一致性、可靠性、完全性、不完全性是形式系统的基本概念。在厘清上述概念的基础上,对其间相互关系的梳理使我们明晰了哥德尔完全性定理和不完全性定理的正确含义,以及其成立
【机 构】
：
贵州大学科技学院基础部,毕节学院逻辑语言信息研究中心
【出 处】
：
昆明学院学报
【发表日期】
：
2010年5期
其他文献
研究了新型水包水型阳离子聚丙烯酰胺（CPAM）对麦草浆的助留作用。采用单务件确定法，考查了CPAM用量（相对于绝干纤维）、搅拌速度、加入CPAM后的反应时间、硫酸铝用量、浆料pH以及水
介绍了箱纸板加工整饰方法及影响高光泽度的要素,展望了高光泽度箱纸板的前景.
会计学是一门理论性、实践性很强的学科，其中实验教学是会计学专业教学的必要环节。为了使学生更好地理解和掌握会计课程的内容，培养学生的实际动手能力，提高大学毕业生的素质，必
高鸣教授，1959年6月生于昆明，现为昆明学院思想政治理论课教学科研部副主任，昆明学院第一届学术委员会委员，云南省高校马克思主义理论课教学研究会理事。高呜教授早年曾在山西省
福柯认为规训是对人进行生产、规格化和标准化的权力技术，规训在教育中的普及与泛滥导致教育的规训化，后果是人被异化。福柯的规训理论有助于增强对现实教育问题的理解。当前，学
为实现卷烟原料差异化的品种差异化,2006~2007年在云南省七市（州）的44个差异化原料核心生产基地县内,采取从现有主栽传统优良品种中筛选及国外引进的双重路线,通过试验研究及大