Article PDF
Avoid common mistakes on your manuscript.
References
P. Benacerraf and H. Putnam,Philosophy of Mathematics: selected readings, 2nd ed., Cambridge University Press, Cambridge, 1984.
L. Carroll, The Complete Works of Lewis Carroll, The Modern Library, New York.
H.R. Coish, Elementary particles in a finite world geometry,Physical Review 114 (1959), 383–388.
J. Couture, Analyticité et complétude,Cahiers ďepistémologie, Dépt. de philosophie de UQAM 8510 (1985); also in R. Nadeau (ed.),Contingence et Raison, Vrin-Bellarnin, to appear.
J. Couture and J. Lambek, Philosophical reflections on the foundations of mathematics,Erkenntnis 34 (1991), 187–209.
K. Gödei, Die Vollständigkeit der Axiome des logischen Funktionenkalküls,Monatshefte Math. Physik 37 (1930), 349–360.
K. Gödei, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I,Monatshefte Math. Physik 38 (1931), 173–198.
L. A. Henkin, Completeness in the theory of types,J. Symbolic Logic 15 (1950), 81–91.
J.M. Henle, The happy formalist,Mathematical Intelligencer 13 (1991), no. 1, 12–18.
J. Hintikka,The Philosophy of Mathematics, Oxford University Press, Oxford, 1969.
V. Huber-Dyson,Gödel’s theorems: a workbook on formalization, Teubner, Stuttgart and Leipzig, 1991.
S.C. Kleene,Introduction to Metamathematics, Van Nostrand, New York, 1952.
J. Lambek, On the sheaf of possible worlds, in J. Adámek and S. Mac Lane (eds.),Categorical Topology, World Scientific, Singapore, 1989, pp. 36–53.
J. Lambek, On the unity of algebra and logic, in F. Borceux (ed.),Categorical Algebra and its Applications, Springer- Verlag, New York, 1989, pp. 221–229.
J. Lambek, Some aspects of categorical logic, in D. Prawitz et al. (eds.),Proc. 9th International Congress of Logic, Methodology and Philosophy of Science, Uppsala 1991, North- Holland, Amsterdam, 1992.
J. Lambek, Least fixpoints of endofunctors of cartesian closed categories, Report from the Dept. of Math., 91- 11, McGill U., Montreal 1991; inMathematical Structures in Computer Science, to appear.
J. Lambek and P.J. Scott,Introduction to Higher Order Cat- egorical Logic, Cambridge University Press, Cambridge, 1986.
F.W. Lawvere, Adjointness in foundations,Dialectica 23 (1969), 281–296.
J.R. Lucas, Minds, machines and Godei,Philosophy 36 (1961), 120–124.
S. Mac Lane,The 1982 Ryerson Lecture, University of Chicago Press, Chicago, 1982.
S. Mac Lane,Mathematics, Form and Function, Springer- Verlag, New York, 1986.
J.-P. Marquis, Russell’s logicism and categorical logicism, preprint 1991; in: A. Irvine et al. (eds.), Proceedings of the Conference on Russell,University of Toronto Press, Toronto, to appear.
G.H. Moore, Sixty years after Godei,Mathematical Intelligencer 13 (1991), no. 3, 6–11.
P. J. Nyikos, Formal systems,Mathematical Intelligencer 13 (1991), no. 3, 4–5.
A. Paris, A letter to J.M. Henle, the “happy formalist,”Mathematical Intelligencer 14 (1992), no. 1, 6–8.
R. Penrose,The Emperor’s New Mind, Oxford University Press, New York, 1989.
W.W. Tait, Truth and proof: the Platonism of mathematics,Synthese 69 (1986), 341–370.
A.S. Troelstra and D. van Dalen (eds.),The L.E.J. Brouwer Centenary Symposium, North-Holland, Amsterdam, 1982.
D. van Dalen, The war of the frogs and the mice, or the crisis of theMathematische Annalen, Mathematical Intelligencer 12 (1991), no. 4, 17–31.
J. van Heijenoort (ed.),From Frege to Godei, Harvard University Press, Cambridge, MA, 1967.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Lambek, J. Are the traditional philosophies of mathematics really incompatible?. The Mathematical Intelligencer 16, 56–62 (1994). https://doi.org/10.1007/BF03026617
Published:
Issue Date:
DOI: https://doi.org/10.1007/BF03026617