【摘 要】
：
【正】 前言奥地利的逻辑-数学家K.哥德尔(1906-1978)在25岁时发表了题为《〈数学原理〉及有关系统中的形式不可判定命题》的论文,这篇文章的思想和结果在现代逻辑和数学的发
论文部分内容阅读
【正】 前言奥地利的逻辑-数学家K.哥德尔(1906-1978)在25岁时发表了题为《〈数学原理〉及有关系统中的形式不可判定命题》的论文,这篇文章的思想和结果在现代逻辑和数学的发展中起了重要的作用。哥德尔证明了,内容相当丰富的知识领域之完全形式化的原则不可能性,更不用说整个科学知识的完全形式化了。除了上述论文,哥德尔的若干其他著作包括构造性逻辑、模型论等领域的重要结果。新实证主义者曾企图利用哥德尔的某些命题以利于他们的观点并作出了自己的哲学结论。越过新实证主义浪潮的障碍,哥德尔以批判分析的态度超出了对逻辑
其他文献
绿色社区建设是构建环保模范城市、生态城市的细胞工程。为促进环境保护进入文明社区建设管理体系，推动环保行为成为市民的自觉行动，汕头市环境保护局、汕头职业技术学院团委、
农业农村部稳步推进兽用抗菌药综合治理,要求在研发环节,推动实施兽药非临床研究质量管理规范(兽药GLP)和兽药临床试验质量管理规范(兽药GCP),规范研发活动。2019年3月4日,农
学英语需要兴趣。如何激发学生的学习英语的兴趣，并保持它，使之成为他们学习的动力？ 一、创造一个轻松愉快的学习环境 传统的教学模式和方法，总是教师“一言堂”，课堂上教师总是向学生灌输，学生始终处于消极、被动的学习地位，没有什么轻松、愉快而言，因而也就无兴趣可谈。即使那些认真学习的学生，也无非把自己当作知识的容纳器，为分数不得已而为之。但就多数而言，由于不感兴趣也就逐渐放弃英语学习，从而导至“
随着我国向资源节约型和环境友好型社会的迈进，倡导清洁生产，发展循环经济，逐渐被社会企业所认识并接受。许多企业在生产发展中，注意对环境与资源的保护，希望在经济发展的同时，对环
2019年5月19日,以"挑战、机遇、开拓、创新"为主题的第十七届中国畜牧业博览会在武汉开幕。期间,普莱柯生物工程股份有限公司发布国内首个变异毒株猪伪狂犬病灭活疫苗(HN1201
《把／被结构与动词重复结构的互补分布》献疑李敏黄月圆先生的《把／被结构与动词重复结构的互补分布》（《中国语文》１９９６年第２期），考察了把／被结构与动词重复结构的分布情况，并揭示了制约
汉代注释书(西汉毛亨《诗经传》和东汉郑玄《诗经笺》、《周礼注》、《仪礼注》、《礼记注》,何休《春秋公羊经传解诂》,赵岐《孟子章句》,王逸《楚辞章句》,高诱《战国策注
那天下午以后,我终于决定离开那座喧闹的钢筋水泥森林,离开那个烦人的地方.我决定出走,目的地是南昆山,因为那里是"北回归线上的绿洲".那里有拥有美丽传说的七仙湖;那里有媲
【正】 马列主义真理论,今天在同相对主义和唯心论的论战中所具有的意义,纳尔斯基已经作了详尽的论述。因此,现在应该着重地谈谈我们自己的认识论观点。对于我们的真理观来说
运用文献资料、比赛观察、调查访问和比较分析等方法,分析研究有关800米跑比赛心理战术和训练方法,对如何提高男子800米运动员成绩,提出了赛前模拟比赛训练方法。并结合中长