Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

New for: D1, D2, D3, D4, D5
<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:R-calculus: A Logical Inference System for Verifying the Process of Scientific Discovery
Speaker:Li Wei
coming from:Beihang University
Speakers Bio:
Event Type:Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:Public Audience
Language:English
Date, Time and Location
Date:Tuesday, 15 July 2014
Time:14:00
Duration:60 Minutes
Location:Saarbrücken
Building:E1 5
Room:002
Abstract
R-calculus is a formal inference system of logical connectives and quantifiers, containing one axiom and six inference rules. It is designed for verifying the process of scientific discovery by deleting those principles of scientific theories which contradict empirical evidences. Two examples are presented to show that the discovery processes of Einstein’s special theory of relativity and Darwin’s theory of evolution of species can be formally verified by using R-calculus. Einstein’s solution is the only and correct choice, but Darwin’s solution is one of the three logically correct choices which may be a reason of the controversies over Darwin’s theory.
Contact
Name(s):Jennifer Müller
Phone:2900
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Jennifer Müller, 07/15/2014 10:01 AM
  • Jennifer Müller, 07/07/2014 09:40 AM
  • Jennifer Müller, 07/01/2014 03:04 PM -- Created document.