论文部分内容阅读
这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。
20世纪数理逻辑的概貌
【摘 要】
：
这篇文章从历史的视角回顾了20世纪数理逻辑的面貌，并展望了21世纪或者21世纪早期数理逻辑的发展。
【出 处】
：
自然辩证法研究
【发表日期】
：
2002年z1期
【基金项目】
：
本文得到普通高等学校人文社会科学重点研究基地基金资助
其他文献
亨利·福特的T型车及其悲剧启示我们：企业技术创新成败的关键在于技术创新方向是否与市场环境的变化趋势保持一致。然而，由过去的创新成功所带来的认知模式的刚性与行为惯
正如海德格尔说“在”的意义问题已久被遗忘了一样，“知”的意义问题也是长期被严重忽视着。似乎人人明白“知”的意思，但传统的主客体关系其实完全不能说明“知”的义理。本文
目的 分析比较３株弓形虫基因组ＤＮＡ的多态性，方法 应用随机扩增的多态性ＤＮＡ（ｒａｎｄｏｍａｍｐｌｉｆｉｅｄｐｏｌｙｍｏｒｐｈｉｃＤＮＡ－ＲＡＰＤ）技术对弓形虫ＲＨ株，ＢＨ株，ＰＰ株基因组ＤＮＡ扩增产物进行琼脂糖电泳，结果 单一及复合引物均能扩增产生多态性的ＤＮＡ指纹图谱。３株
社会建构论者提出了一种新的科学观，科学家对此并不认可。化学家拉宾格尔从科学争论的终结与关于科学的争论的无终结的对比、另一种科学是否可能、社会建构论者反对的科学方法
目的 为寻找编码按征求认腺分泌性蛋白质的基因。方法 应用RNeasy试剂盒提取斑须按蚊唾液腺总RNA；OrientExpress^TM Oligo(dT)cDNA Library Construction系统反转录合成双链
本文通过对黄土高原小流域综合整治典型逆向性人群的意识－行为过程中形成的案例，以及造成的负面影响进行了初步分析，在此基础上，深入对黄土高原小流域环境和经济持续发展人群的意
共相问题是逻辑学和哲学研究的根本问题之一。对共相本质的争论源于古希腊，柏拉图和亚里士多德代表了在该问题上两种截然不同的观点。三世纪，波菲利提出了关于共相的三个最根本
用ｐｃ－ＲＯＰ１重组质粒免疫小鼠，观察其对细胞因子ＩＦＮ－γ、ＩＬ－２及ＮＯ的影响。方法碱裂解法大量制备ｐｃ－ＲＯＰ１质粒ＤＮＡ，经肌肉注射免疫ＢＡＬＢ／ｃ小鼠，每只鼠注射１００μｇ，两周后同量加免疫一次，以ｐｃＤＮＡ３空质粒及生理盐水组为对照。分别于免疫