R演算——科学发现的逻辑
李未; 1:北京航空航天大学软件开发环境国家重点实验室 摘要(Abstract)：

R演算是一个关于逻辑连接词符号和量词符号的形式推理系统,它可以把现有理论中与实验和观测结果矛盾的原理或定律推演出来并予以删除,之后再与实验支持的事实合并,获得新的自然科学理论。文章对R演算进行简单介绍,并使用R演算,对爱因斯坦创立狭义相对论和达尔文创立进化论的科学发现活动进行逻辑验证,最后讨论R演算的基本性质及其基本思想在软件测试和程序调试等方面的应用。

关键词(KeyWords)： R演算;;科学发现;;逻辑验证;;相对论;;进化论

Abstract:

Keywords:

基金项目(Foundation): 软件开发环境国家重点实验室自主研究课题(SKLSDE-2011ZX-22)

作者(Author): 李未;

Email:


参考文献(References)： [1]李未.一个开放的逻辑系统[J].中国科学:A辑,1992(10):1103–1113.[2]李未.R-演算:一个修正程序规约的演算系统[J].中国科学:E辑,2002,32(5):662–673.[3]李未.数理逻辑:基本原理与形式演算[M].北京:科学出版社,2008.[4]Albert Einstein.Relativity:The Special&The General Theory[M].6th ed.London:Methuen&Co Ltd,1929.[5]Charles Darwin.物种起源[M].周建人,叶笃庄,方宗熙,译.3版.北京:商务印书馆,1997.


摘要:
扩展功能
本文信息
PDF全文请访问中国知网下载(390K)