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

Ausführliche Beschreibung