Bulletin of Symbolic Logic 3 (4):401-452 (1997)
We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chaos; we also show how efficient algorithms have been obtained for computing elementary functions in exact real arithmetic
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Domain Representability of Metric Spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
Complete Local Rings as Domains.V. Stoltenberg-Hansen & J. V. Tucker - 1988 - Journal of Symbolic Logic 53 (2):603-624.
Citations of this work BETA
Confined Modified Realizability.Gilda Ferreira & Paulo Oliva - 2010 - Mathematical Logic Quarterly 56 (1):13-28.
Effectivity and Effective Continuity of Multifunctions.Dieter Spreen - 2010 - Journal of Symbolic Logic 75 (2):602-640.
Effectiveness in RPL, with Applications to Continuous Logic.Farzad Didehvar, Kaveh Ghasemloo & Massoud Pourmahdian - 2010 - Annals of Pure and Applied Logic 161 (6):789-799.
Computable de Finetti Measures.Cameron E. Freer & Daniel M. Roy - 2012 - Annals of Pure and Applied Logic 163 (5):530-546.
Similar books and articles
Located Sets and Reverse Mathematics.Mariagnese Giusto & Stephen G. Simpson - 2000 - Journal of Symbolic Logic 65 (3):1451-1480.
Platonism and Aristotelianism in Mathematics.Richard Pettigrew - 2007 - Philosophia Mathematica 16 (3):310-332.
Explicit Mathematics with the Monotone Fixed Point Principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.
Kant's Theory of Arithmetic: A Constructive Approach? [REVIEW]Kristina Engelhard & Peter Mittelstaedt - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (2):245 - 271.
Computability in Context: Computation and Logic in the Real World.S. B. Cooper & Andrea Sorbi (eds.) - 2011 - World Scientific.
Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics.Friedrich Waismann - 1951 - Dover Publications.
Groundwork for Weak Analysis.António M. Fernandes & Fernando Ferreira - 2002 - Journal of Symbolic Logic 67 (2):557-578.
Children's Understanding of the Relationship Between Addition and Subtraction.K. Gilmore Camilla & S. Spelke Elizabeth - 2008 - Cognition 107 (3):932-945.
Children's Understanding of the Relationship Between Addition and Subtraction.Elizabeth Spelke & Camilla Gilmore - 2008 - Cognition 107 (3):932-945.
Added to index2009-01-28
Total downloads11 ( #407,077 of 2,177,962 )
Recent downloads (6 months)1 ( #316,663 of 2,177,962 )
How can I increase my downloads?