Abstract
In computable mathematics, there are known definitions of computable numbers, computable metric spaces, computable compact sets, and computable functions. A traditional definition of a computable function, however, covers only continuous functions. In many applications (e.g., in phase transitions), physical phenomena are described by discontinuous or multi-valued functions (a.k.a. constraints). In this paper, we provide a physics-motivated definition of computable discontinuous and multi-valued functions, and we analyze properties of this definition.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Bishop, E., Bridges, D.S.: Constructive Analysis. Springer, New York (1985)
Feynman, R., Leighton, R., Sands, M.: The Feynman Lectures on Physics. Addison Wesley, Boston, Massachusetts (2005)
Weihrauch, K.: Computable Analysis. Springer, Berlin (2000)
Acknowledgements
This work was supported in part by NSF grants HRD-1242122 and DUE-0926721, by NIH Grants 1 T36 GM078000-01 and 1R43TR000173-01, and by an ONR grant N62909-12-1-7039.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Ceberio, M., Kosheleva, O., Kreinovich, V. (2018). Towards a Physically Meaningful Definition of Computable Discontinuous and Multi-valued Functions (Constraints). In: Ceberio, M., Kreinovich, V. (eds) Constraint Programming and Decision Making: Theory and Applications. Studies in Systems, Decision and Control, vol 100. Springer, Cham. https://doi.org/10.1007/978-3-319-61753-4_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-61753-4_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-61752-7
Online ISBN: 978-3-319-61753-4
eBook Packages: EngineeringEngineering (R0)