Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
- Keyword
-
- Analog Computing (1)
- Applied Mathematics (1)
- Asymptotics (1)
- BSS model (1)
- Backward Error Analysis (1)
-
- Computation (1)
- Definitions of Algorithms (1)
- Epistemology and methodology (1)
- Exact & Numerical Solutions (1)
- Feasible epistemology (1)
- Foundations of Scientific Computing (1)
- Logic of Mathematical Modelling (1)
- Mathematical Tractability (1)
- Mathematical modeling (1)
- Philosophy (1)
- Physical Models (1)
- Real Computability (1)
- Scientific data (1)
- Selective Accuracy (1)
- Syntactic and semantic views of theories (1)
Articles 1 - 3 of 3
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 …
Structures In Real Theory Application: A Study In Feasible Epistemology, Robert H. C. Moir
Structures In Real Theory Application: A Study In Feasible Epistemology, Robert H. C. Moir
Electronic Thesis and Dissertation Repository
This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account …
The Reasonable Effectiveness Of Mathematics In The Natural Sciences, Nicolas Fillion
The Reasonable Effectiveness Of Mathematics In The Natural Sciences, Nicolas Fillion
Electronic Thesis and Dissertation Repository
One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements a strategy to show that the applicability of mathematics is very reasonable indeed.
I distinguish three forms of the …