摘要
R演算是一个关于逻辑连接词符号和量词符号的演算系统.它是一个根据事实反驳对科学理论进行修正的符号演算系统.文中以狭义相对论和生物进化论为例,使用R演算,对这两个科学理论的发现过程,在数理逻辑层面进行了验证.验证的结果表明:对Einstein时代的物理学而言,狭义相对论是唯一而且正确的选择.对Darwin时代的生物学而言,在接受自然选择原理等前提下,R演算可以推导出3种不同的,但逻辑上合理的进化论方案.Darwin提出的进化论是其中一种.有趣的是三者中的另一种,现在看来它具有一定的包容性.
出处
《中国科学（E辑）》
CSCD
北大核心
2008年第12期2005-2019,共15页
Science in China(Series E)
基金
国家重点基础研究发展计划(批准号:2005CB321900)
