Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing
From MaRDI portal
Publication:6182782
DOI10.1007/s11229-020-02654-8zbMath1529.03073OpenAlexW3020826894MaRDI QIDQ6182782
Publication date: 26 January 2024
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: http://philsci-archive.pitt.edu/19634/1/Papayannopoulos_Unrealistic-Models-Realistic-Computations.pdf
Philosophical and critical aspects of logic and foundations (03A05) General theory of mathematical modeling (00A71) Computation over the reals, computable analysis (03D78)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The wave equation with computable initial data such that its unique solution is not computable
- Why does information-based complexity use the real number model?
- The real number model in numerical analysis
- Turing's Legacy
- Noncomputable functions in the Blum-Shub-Smale model
- Complexity estimates depending on condition and round-off error
- Computable functionals
- Some Remarks on the Foundations of Numerical Analysis
- Computability and Incomputability of Differential Equations
- A Graduate Introduction to Numerical Methods
- On Computable Numbers, with an Application to the Entscheidungsproblem
- Numerical inverting of matrices of high order
- ROUNDING-OFF ERRORS IN MATRIX PROCESSES
This page was built for publication: Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing