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