论文部分内容阅读
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.
罗素悖论与弗协调逻辑
【摘 要】
：
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H.在以H为逻辑的弗协调集合论S_H中,罗素(B.Russell)命题是可证的.
【机 构】
：
杭州大学数学系
【出 处】
：
杭州大学学报：自然科学版
【发表日期】
：
1993年4期
其他文献
重度睑下垂往往用提上睑肌缩短徙前手术或吊线效果不甚理想,特别是远期效果更不可靠。近年来我们采用额肌瓣转移悬吊术效果甚佳,共做手术38例,经临床观察和随访效果满意。手
党的先进性建设思想是新世纪新阶段指导我党发展的根本思想，是我党的理论的新概括和新发展，是由一系列相互联系的基本观点所构成的科学思想体系。
油田开发区拥有大量的静态数据和动态数据,科学地管理和充分地利用这些数据,才能使油田生产管理和研究工作卓有成效。运用DBASE-Ⅲ关系型数据库结构,初步建立了永安镇油田静
【正】1958年7月31日,前苏共中央第一书记、苏联部长会议主席赫鲁晓夫第二次访华。因6月20日苏联单方面撕毁了《国防新技术协定》,给中苏关系蒙上了一层阴影,所以这次赫鲁晓
从2／3G共站建设、BBU+RRu分布式基站建设、替换机房G2 BSC、双密度载频应用、提高基站设备覆盖效率、DPS时隙智能关断技术、AMR技术应用、移动网络IP化等方面入手，探讨通过网规网优实现移动通信机房基站节能减排的方法。
数字电子技术这门课程在培养工科电气专业学生的专业实践能力和创新能力方面起着重要作用。本文本着提高教学质量的宗旨，针对传统教学的不足，提出了在教师培养、理论教学和实践
后现代伦理学与以往伦理学相比指出了现代社会三大祛除伦理的社会机制，作为其指导思想的恰恰是现代伦理学中公认的理性、主体性和世俗性，而这三者本身就是现代伦理学内在矛盾的
高校思想政治教育的人性化要求我们应从大学生的人性出发，坚持以学生为本的教育观．实现大学生人格的全面、和谐发展。而目前高校思想政治教育正是缺失了人性化，主要表现为：忽视了
本文将Slave-boson平均场方法应用于Kondo晶格模型,计算了低温下重费米子系统的电子态密度。结果表明:在极低温度下费米面存在赝能隙;在较高温度下此赝能隙将为态密度峰所取