R-Calculus: A logical inference system for Scientific Discovery

Professor Li Wei, School of Computer Science (Beihang University, Beijing)

CECS SEMINAR SERIES

DATE: 2012-02-01
TIME: 11:00:00 - 12:00:00
LOCATION: CSIT Seminar Room, N101
CONTACT: JavaScript must be enabled to display this email address.

ABSTRACT:
R-Calculus is a formal inference system of logical connectives and quantifiers. The Calculus is applied to analyze the logical intuition used by Einstein and Darwin in their discoveries of the theory of relativity and the theory of the evolution of species. R Calculus can also be used in the evolution of formal specification and program de-bugging in software engineering.

BIO:
Professor Li Wei is an eminent researcher, government adviser and former President of the leading Chinese university of technology - Beihang University (Beijing University of Aeronautics and Astronautics), Beijing.