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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Synthese Vol. 199; no. 1/2; pp. 249 - 284
Autor principal:	Papayannopoulos, Philippos
Formato:	Artículo
Publicado:	Springer Nature Dec2021
Materias:	Scientific computing Computational mathematics Floating-point arithmetic Applied mathematics Physical sciences
Acceso en línea:	Ver este registro en EBSCOhost