Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Logic and Foundations of Mathematics
Computing, Modelling, And Scientific Practice: Foundational Analyses And Limitations, Filippos A. Papagiannopoulos
Computing, Modelling, And Scientific Practice: Foundational Analyses And Limitations, Filippos A. Papagiannopoulos
Electronic Thesis and Dissertation Repository
This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise algorithmic computation and to offer foundations for scientific computing.
The dissertation consists of three parts. In the first part, we …