Computational axiomatic science
Loading...
Authors
Sen, Atriya
Issue Date
2017-12
Type
Electronic thesis
Thesis
Thesis
Language
ENG
Keywords
Computer science
Alternative Title
Abstract
I introduce, defend, and demonstrate, a new paradigm for artificial discovery in science, called 'Computational axiomatic science' (CAS). This doctoral dissertation has two parts. In the first part, I discuss the philosophical roots of the paradigm, and its method of representation of scientific theories. I then explicate its bearing on standard issues in the philosophy of science, such as scientific explanation, prediction, and experimentation, and defend it against objections. In the second part, I demonstrate CAS for artificial (proof) verification and discovery in the sciences of physics, chemistry, and biology. I also demonstrate its usefulness in the sphere of educational technology. Finally, I discuss the relationship, in the context of CAS, between science and metaphysics.
Description
December 2017
School of Science
School of Science
Full Citation
Publisher
Rensselaer Polytechnic Institute, Troy, NY