Computational axiomatic science

Authors
Sen, Atriya
ORCID
Loading...
Thumbnail Image
Other Contributors
Bringsjord, Selmer
Nirenburg, Sergei
Fox, Peter A.
Székely, Gergely
Issue Date
2017-12
Keywords
Computer science
Degree
PhD
Terms of Use
This electronic version is a licensed copy owned by Rensselaer Polytechnic Institute, Troy, NY. Copyright of original work retained by author.
Full Citation
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
Department
Dept. of Computer Science
Publisher
Rensselaer Polytechnic Institute, Troy, NY
Relationships
Rensselaer Theses and Dissertations Online Collection
Access
Restricted to current Rensselaer faculty, staff and students. Access inquiries may be directed to the Rensselaer Libraries.