Abstract
The simple mapping account of correctness reduces correctness to extensional agreement. While we have indicated various means of cutting down the number of solutions, restricting them in some way, there is something more substantial missing from our account. An assumption underlying the simple mapping account is that computation and programming are notions that can be fully characterized independently of any intentions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer-Verlag GmbH Germany, part of Springer Nature
About this chapter
Cite this chapter
Turner, R. (2018). Intention and Correctness. In: Computational Artifacts. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-55565-1_29
Download citation
DOI: https://doi.org/10.1007/978-3-662-55565-1_29
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-55564-4
Online ISBN: 978-3-662-55565-1
eBook Packages: Computer ScienceComputer Science (R0)