Repository | Book | Chapter
(2014) Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer.
The goal of this paper is to discuss the following question: is the theory of recursive functions needed for a rigorous development of constructive mathematics? I will try to present the point of view of constructive mathematics on this question. The plan is the following: I first explain the gradual loss of appreciation of constructivity after 1936, clearly observed by Heyting and Skolem, in connection with the development of recursivity. There is an important change in 1967, publication of Bishop's book, and the (re)discovery that the theory of recursive functions is actually not needed for a rigorous development of constructive mathematics. I then end with a presentation of the current view of constructive mathematics: mathematics done using intuitionistic logic, view which, surprisingly, does not rely on any explicit notion of algorithm.
Publication details
DOI: 10.1007/978-94-017-9217-2_6
Full citation:
Coquand, T. (2014)., Recursive functions and constructive mathematics, in J. Dubucs & M. Bourdeau (eds.), Constructivity and computability in historical and philosophical perspective, Dordrecht, Springer, pp. 159-167.
This document is unfortunately not available for download at the moment.