Constructive mathematics: A foundation for computable analysis

Theoretical Computer Science

Volumn 219, Issue 1-2, 1999, Pages 95-109

  Bridges, Douglas S ^a  

^a UNIVERSITY OF CANTERBURY   (New Zealand)

Author keywords

Constructive; Intuitionistic logic; Recursive

Indexed keywords

EID: 0002007061     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)00285-0     Document Type: Article

References (27)

1. M. Beeson, Foundations of Constructive Mathematics, Springer, Heidelberg, 1985.
2. E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, 1967.
3. E. Bishop, D. Bridges, Constructive Analysis, Grundlehren Math. Wiss., vol. 279, Springer, Heidelberg, 1985.
4. D. Bridges, Constructive mathematics, its set theory and practice, D.Phil. Thesis, University of Oxford, 1975.
5. D. Bridges, Constructive mathematics and unbounded operators - a reply to Hellman, J. Philos. Logic 25 (1995) 549-561.
6. D. Bridges, Constructive Truth in Practice, in: H.G. Dales, G. Oliveri (Eds.), Truth in Mathematics, Proc. Conf. held at Mussomeli, Sicily, 13-21 September 1995, Oxford University Press, Oxford, 1998, to appear.
7. D. Bridges, A constructive Morse theory of sets, in: D. Skordev (Ed.), Mathematical Logic and its Applications, Plenum Publishing Corp., New York, 1987, pp. 61-79.
8. D. Bridges, O. Demuth, On the Lebesgue measurability of continuous functions in constructive analysis, Bull. Amer. Math. Soc. 24(2) (1991) 259-276.
9. D. Bridges, S. Reeves, Constructive mathematics in theory and programming practice, Philos. Math. (1999), to appear.
10. D. Bridges, F. Richman, Varieties of Constructive Mathematics, London Math. Soc. Lecture Notes, vol. 97, Cambridge University Press, Cambridge, 1987.
11. L.E.J. Brouwer, Over de Grondslagen der Wiskunde, Doctoral Thesis, University of Amsterdam, 1907. Reprinted with additional material (D. van Dalen, Ed.) by Matematisch Centrum, Amsterdam, 1981.
12. R.L. Constable et al., Implementing Mathematics with the Nuprl Proof Development System, Prentice-Hall, Englewood Cliffs, NJ, 1986.
13. J. Dieudonné, Foundations of Modern Analysis, Academic Press, New York, 1960.
14. S. Feferman, Constructive theories of functions and classes, in: M. Boffa, D. van Dalen, K. McAloon (Eds.), Logic Colloquium '78: Proceedings of the Logic Colloquium at Mons, 1978, North-Holland, Amsterdam, 1979, pp. 159-224.
15. H. Friedman, Set theoretic foundations for constructive analysis, Ann. Math. 105 (1977) 1-28.
16. N.D. Goodman, J. Myhill, Choice implies excluded middle, Zeit. Logik Grundlagen Math. 24 (1978) 461.
17. S. Hayashi, H. Nakano, PX: A Computational Logic, MIT Press, Cambridge, MA, 1988.
18. G. Hellman, Constructive mathematics and quantum mechanics: unbounded operators and the spectral theorem, J. Philos. Logic 22 (1993) 221-248.
19. A. Heyting, Die formalen Regeln der intuitionistischen Logik, Sitzungsber. Preuss. Akad. Wiss. Berlin (1930) 42-56.
20. D. Hilbert, Die Grundlagen der Mathematik, Hamburger Mathematische Einzelschriften 5, Teubner, Leipzig, 1928. Reprinted in English translation in [27], in which the exact quotation appears on p. 476.
21. P. Martin-Löf, An intuitionistic theory of types: predicative part, in: H.E. Rose, J.C. Shepherdson (Eds.), Logic Colloquium 1973, North-Holland, Amsterdam, 1975, pp. 73-118.
22. J. Myhill, Some properties of intuitionistic Zermelo-Fraenkel set theory, in: A. Mathias, H. Rogers (Eds.), Cambridge Summer School in Mathematical Logic, Lecture Notes in Mathematics, vol. 337, Springer, Berlin, 1973, pp. 206-231.
23. J. Myhill, Constructive set theory, J. Symbolic Logic 40(3) (1975) 347-382.
24. F. Richman, Intuitionism as generalization, Philos. Math. 5 (1990) 124-128 (MR #91g:03014).
25. F. Richman, Interview with a constructive mathematician, Modern Logic 6 (1996) 247-271.
26. A.S. Troelstra, D. van Dalen, Constructivity in Mathematics: An Introduction (two volumes), North-Holland, Amsterdam, 1988.
27. J. van Heijenoort, From Frege to Gödel, A Source Book in Mathematical Logic 1879-1931, Harvard University Press, Cambridge, MA, 1967.