NDLI: Logical verification of scientific discovery

Content Provider	Springer Nature Link
Author	Li, Wei
Copyright Year	2010
Abstract	This paper shows that the discovery processes of Einstein’s special theory of relativity and Darwin’s theory of evolution of species can be formally verified by R-calculus which is a logical inference system. The aim of R-calculus is to delete the principles of scientific theories which contradict empirical evidence. The paper shows that the special theory of relativity is the only and correct choice for physics to meet the experimental evidence given at the time. As far as the biology of Darwin’s time is concerned, however, the R-calculus has derived three logically correct but different theories, which are all consistent with the empirical evidence provided by Darwin and his principle of natural selection. Darwin’s theory of evolution matches one of the three theories derived by R-calculus. This theory has a logical consequence that is “each species has been independently created is erroneous”. But the other two theories support the negation of the above statement. The existence of the other two theories may be a reason of the controversies over Darwin’s theory.
Starting Page	677
Ending Page	684
Page Count	8
File Format	PDF
ISSN	1674733X
Journal	Science in China Series : Information Sciences
Volume Number	53
Issue Number	4
e-ISSN	18691919
Language	English
Publisher	SP Science China Press
Publisher Date	2010-04-17
Publisher Place	Heidelberg
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	R-calculus theory of relativity theory of evolution Information Systems and Communication Service
Content Type	Text
Resource Type	Article
Subject	Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

R-calculus without the cut rule

Decidable subsets of open logic and an algorithm for R-calculus

The sound and complete R-calculus for revising propositional theories

Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems

Theory and verification of operator design methodology

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

Growing construction and adaptive evolution of complex software systems

NetPro: detecting attacks in MANET routing with provenance and verification

Visualisation and interaction for scientific exploration and knowledge discovery

Logical verification of scientific discovery

Similar Documents

R-calculus without the cut rule

Decidable subsets of open logic and an algorithm for R-calculus

The sound and complete R-calculus for revising propositional theories

Necessary and sufficient checkpoint selection for temporal verification of high-confidence cloud workflow systems

Theory and verification of operator design methodology

Linear invariant generation for verification of nonlinear hybrid systems via conservative approximation

Growing construction and adaptive evolution of complex software systems

NetPro: detecting attacks in MANET routing with provenance and verification

Visualisation and interaction for scientific exploration and knowledge discovery

Logical verification of scientific discovery