Chapter

Discovery Science

Volume 4265 of the series Lecture Notes in Computer Science pp 352-357

Checking Scientific Assumptions by Modeling

  • Joseph PhillipsAffiliated withSchool of Computer Science, Telecommunications and Information Systems, DePaul University
  • , Ronald EdwardsAffiliated withDepartment of Biological Sciences, DePaul University
  • , Raghuveer KumarakrishnanAffiliated withSchool of Computer Science, Telecommunications and Information Systems, DePaul University

* Final gross prices may vary according to local VAT.

Get Access

Abstract

We describe extensions to the science querying system Scilog to enable it to make efficient simulators. Given a scientific model’s details and assumptions Scilog can create a C++ simulator to check assumption consistency. We used extended Scilog to test claims that Intelligent Design makes about Evolution and found them to be at odds with basic Biology.