SCHIZOPHRENIA IN CONTEMPORARY MATHEMATICS REFERENCES 1. Bishop, E., "Foundations of Constructive Analysis, " McGraw- Hill, New York, 1967. 2. Bishop, E. , Mathematics a s a Numerical Language, in "Intuition- ism and Proof Theory, " North-Holland, Amsterdam, 1970. 3. Bishop, E., A Constructive Ergodic Theorem, J. Math. Mech. , 17 (1968), 631-640. 4. Bishop, E. , Notes on Constructive Topology, uCSD, 197 1. 5. Bishop, E. and H. Cheng, llConstructive Measure Theory," AMS Memoir 116, Providence, 1972. 6. Brouwer, L. E. J.. ~ e ~ r G n d u n ~ der Mengenlehre UuabGngig vom Logischen Sate vom Ausgeschlossenen Dritte 11: Theorie der Punktmengen, Ver. Kon. Akad. Wet. (Amsterdam), 12 (1919), 1-33. 7. Brouwer, L. E. J., Beweiss dass Jede Volle Funktion Gleich- m2ssig Stetig ist, Kon. Ned. Akad. Wet. (Amsterdam), 27 (19241, 189-193. 8. Brouwer, L. E. J. , Zur Begriindung der ~ntuitionistischen , Mathematik III, Math. Ann. 8 96 (19211, 451-4889 9. Chen, Y. K., A Constructive Approach to the .Theory of Stochastic Processes, " Trans. AMS, 165 (1972), 37-44. 10. Chan, Y. K., A Constructive Version of the Renewal Theorem, to appear. 11. Chan, Y. K., Notes on Constructive Probability Theory, to appear. 12. Chan, Y. K., On Constructive Convergence of Measures on the Real Line, to appear. 13. Cheng, H., Ph.D. Dissertation, University of California, San Diego, 1971. 14. Doob, J. L., "Stochastic Processes, " Wiley, New York, 1953. 15. Frankel, A. and Y. Bar-Hillel, "Foundations of Set Theory, " North-Holland, Amsterdam, 1958. 16. Giidel, K., What is Cantor's Continuum Problem? " Amer. Math. Monthly, 54 (1947), 515-525. 17. Gadel, K., Uber Eine Bisher Noch Benutzte Erweiterung des Finiten Standpunktes, Dialectica. 12 (1958), 280- 287. 18. Goodman, N. D. and J. Myhill, The Formalization of Bishop's Constructive Mathematics, in "Topics in Algebraic Geometry, and Logic, " Springer, Berlin, 197 2. 19. Heyting, A., Note on the Riesz-Fischer Theorem, Proc. Kon. Akad. Wet. (Amsterdam), 54 (1951), 35-40. 20. Kleene, S. C., "Introduction to Metamathematics, " Van Nostrand, Princeton, 1952. 21. Kleene, S. C. and R. Vesley, "The Foundations of Intuitionistic Mathematics, " North-Holland, Amsterdam, 1965.
Previous Page Next Page