On choosing the correct model for computability over the reals

zbMATH Open0991.03044MaRDI QIDQ2783598

Dag Normann

Publication date: 17 April 2002

Published in: Normat (Search for Journal in Brave)

zbMATH Keywords

programmingdatatype of realsintroduction to computability theoryrepresenting reals as data suitable for computations

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Higher-type and set recursion theory (03D65)

This page was built for publication: On choosing the correct model for computability over the reals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2783598)