Unrealistic models for realistic computations how idealisations help represent mathematical structures and found scientific computing

We examine two very different approaches to formalising real computation, commonly referred to as “Computable Analysis” and “the BSS approach”. The main models of computation underlying these approaches—bit computation (or Type-2 Effectivity) and BSS, respectively—have also been put forward as appro...

Full description

Saved in:

Bibliographic Details
Published in:	Synthese (Dordrecht) Vol. 199; no. 1/2; pp. 249 - 283
Main Author:	Papayannopoulos, Philippos
Format:	Journal Article
Language:	English
Published:	Dordrecht Springer Science + Business Media 01.12.2021 Springer Netherlands Springer Nature B.V
Subjects:	Applied mathematics Computational mathematics Economics Education Epistemology Logic Mathematics Metaphysics Phenomenology Philosophy Philosophy of Language Philosophy of Science UNREALISTIC MODELS What to Make of Highly Unrealistic Models Bit computation Unrealistic models Well-posed, Ill-posed physical problems Stability Real complexity Computable analysis BSS/Real-RAM model Idealisations Foundations of scientific computing Floating-point arithmetic
ISSN:	0039-7857, 1573-0964
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!