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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Synthese (Dordrecht) Ročník 199; číslo 1/2; s. 249 - 283
Hlavní autor:	Papayannopoulos, Philippos
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Science + Business Media 01.12.2021 Springer Netherlands Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!