Abstract
A map of the world would be the same if the shorelines had been discovered in a different order. The world exists independent of our knowledge of it. That, at least, is the opinion of most people. Similarly, it is the opinion of most mathematicians that mathematical objects exist (in some abstract sense), and that mathematical truths about them are discovered. This opinion is called “platonlsm”. According to a platonist, the order of discovery may be partly a historical accident, and our way of expressing truths may be a product of human design, but the truths themselves are independent of us, timeless and universal.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hehner, E.C.R. (1987). Logic Based on Programming. In: Broy, M. (eds) Logic of Programming and Calculi of Discrete Design. NATO ASI Series, vol 36. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87374-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-87374-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-87376-8
Online ISBN: 978-3-642-87374-4
eBook Packages: Springer Book Archive