Oswald Veblen and the Origins of Mathematical Logic at Princeton

  • William Aspray


The remarkable transformation from Aristotelean to mathematical logic in the period 1880–1930 was largely a European affair. The important centers of change were all located in Europe.1 Few Americans pursued research in logic, and those who did seldom contributed to mainstream developments.2 By the end of the 1930s, however, the United States had developed an important, indigenous research program in mathematical logic.3 For the first time American faculties were training their own students, making their own research contributions, and publishing their own research journals at levels competitive with the best Europe had to offer.


American Mathematical Society Euclidean Geometry Projective Geometry Mathematical Research Foundational Issue 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. American Mathematical Society (1938), Semicentennial Addresses, American Mathematical Society, New York. (Volume 2 of American Mathematical Society Semicentennial Publications.)Google Scholar
  2. Anonymous (1931), A memorial to a scholar-teacher, Princeton Alumni Weekly, 30 October 1931, pp. 111–113.Google Scholar
  3. Archibald, R.C. (1938), A Semicentennial History of the American Mathematical Society 1888–1938, Vol 1, American Mathematical Society, New York.Google Scholar
  4. Aspray, W. (1988), The emergence of Princeton as a world center for mathematical research, 1896–1939, in W. Aspray and P. Kitcher (eds.), History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 344–364.Google Scholar
  5. Bienen, L.B. (1970), Notes found in a Klein bottle, Princeton Alumni Weekly, 21 April 1970, pp. 17–20.Google Scholar
  6. Cantor, G. (1895), Zur Begründung der transfiniten Mengenlehre, I, Math. Ann. 46, 481–507.CrossRefGoogle Scholar
  7. Chaplin, V. (1958), A history of mathematics at Princeton, Princeton Alumni Weekly, 9 May 1958.Google Scholar
  8. Corcoran, J. (1980), Categoricity, Hist. Philos. Logic 1, 187–207.CrossRefMathSciNetGoogle Scholar
  9. Corcoran, J. (1981), From categoricity to completeness, Hist. Philos. Logic 2,113–119.CrossRefMathSciNetGoogle Scholar
  10. Corcoran, J. (1986), Undefinability tests and the Erlanger program: Historical footnotes, Proceedings, International Congress of Mathematicians, Berkeley 1986, p. 339.Google Scholar
  11. Davis, M. (1965), The Undecidable: Basic Papers on Undecidable Propositions, Unsolvable Propositions, and Computable Functions, Raven Press, Hewlett, NY.Google Scholar
  12. Dipert, R. (1978), Development and Crisis in Late Boolean Logic: The Deductive Logics of Peirce, Jevons, and Schröder, Ph.D. Dissertation, Indiana University.Google Scholar
  13. Ducasse, C.J. and Curry, H.B. (1963), Early history of the Association for Symbolic Logic. J. Symbolic Logic 27, 255–258. Addendum: J. Symbolic Logic 28, p. 279.Google Scholar
  14. Eisenhart, L.P. (1931), The progress of science: Henry Burchard Fine and the Fine Memorial Hall, Scientific Monthly 33, 565–568.Google Scholar
  15. Feferman, S. et al. (eds.) (1986), Kurt Gödel Collected Works, Vol. I, Oxford University Press, New York. (Gödel’s Life and Work, pp. 1–36.)Google Scholar
  16. Fine, H.B. (unsigned) (1926), The Role of Mathematics, The Princeton Fund Committee.Google Scholar
  17. Flexner, A. (1960), Abraham Flexner: An Autobiography, Simon and Schuster, New York.Google Scholar
  18. Hilbert, D. (1899), Grundlagen der Geometrie, Teubner, Leipzig. English trans. by E.J. Townsend, Open Court, Chicago, 1902.Google Scholar
  19. Hille, E. (1962), In Retrospect, Notes, Yale Mathematical Colloquium, 16 May 1962.Google Scholar
  20. Huntington, E.V. (1902), A complete set of postulates for the theory of absolute continuous magnitude, Trans. Amer. Math. Soc. 3, 264–279.MATHCrossRefMathSciNetGoogle Scholar
  21. Huntington, E.V. (1905), A set of postulates for real algebra, comprising postulates for a one-dimensional continuum and for the theory of groups, Trans. Amer. Math.Soc. 56, 17–41.CrossRefMathSciNetGoogle Scholar
  22. Johnson, D. (1984), Mathematical Research in the United States from 1890: The Case of the University of Chicago, Hampden-Sydney College, unpublished.Google Scholar
  23. Kleene, S.C. (1981), Origins of recursive function theory, Ann. Hist. Comput. 3,52–67.MATHCrossRefMathSciNetGoogle Scholar
  24. Kleene, S.C. (1987), Kurt Gödel, Biographical Memoirs Nat. Acad. Sci. 56, 135–178.Google Scholar
  25. MacLane, S. (1976), Oswald Veblen, Dictionary of Scientific Biography, 599–600.Google Scholar
  26. Montgomery, D. (1963), Oswald Veblen, Bull. Amer. Math. Soc. 69, 26–36.MATHCrossRefMathSciNetGoogle Scholar
  27. Moore, E.H. (1902), On the projective axioms of geometry, Trans. Amer. Math. Soc. 3, 142–158.MATHCrossRefMathSciNetGoogle Scholar
  28. Moore, E.H. (1903), On the foundations of mathematics, Bull. Amer. Math. Soc. (2), 9, 402–424.CrossRefMathSciNetGoogle Scholar
  29. Moore, G.H. (1988), The emergence of first-order logic, in W. Aspray and P. Kitcher (eds.), History and Philosophy of Modern Mathematics, University of Minnesota Press, Minneapolis, pp. 95–135.Google Scholar
  30. Padoa, A. (1901), Logique et Histoire des Sciences, Bibliothèque du Congrès International de Philosophie, III.Google Scholar
  31. Pasch, M. (1882), Vorlesungen über neuere Geometrie, Teubner, Leipzig.Google Scholar
  32. Peano, G. (1889), I principii di geometria, Fratelli Bocca, Turin.Google Scholar
  33. Peano, G. (1894), Sui fondamenti della geometria, Riv. Mat. 4, 51–59.Google Scholar
  34. Peckhaus, V. (1986), Case studies towards the establishment of a social history of logic, Hist. Philos. Logic 7, 185–186.CrossRefGoogle Scholar
  35. Pieri, M. (1899), Della geometria elementare come sistema ipotetico deduttivo. Mono-grafia del punto e del moto, Memorie della Reale Accademia delle Scienze di Torino (2), 49, 173–222.Google Scholar
  36. Reingold, N. (1981), Refugee mathematicians in the United States of America, 1933 1941: Reception and reaction, Ann. Sci. 38, 313–338.MATHCrossRefMathSciNetGoogle Scholar
  37. Scanlan, M. (1982), American Postulate Theorists and the Development of Axiomatic Method, 1901–1930. Ph.D. Dissertation, SUNY, Buffalo.Google Scholar
  38. Tarski, A. (1956a), Logic, Semantics, Metamathematics: Papers from 1923 to 1938, trans, by J.H. Woodger. Clarendon, Oxford.Google Scholar
  39. Tarski, A. (1956b), A general theorem concerning primitive notions of Euclidean geometry, Indag. Math. 18, 468–474.MathSciNetGoogle Scholar
  40. Van Evra, J. (1966), A History of Some Aspects of the Theory of Logic, 1850-Present. Ph.D. Dissertation, Michigan State University.Google Scholar
  41. Veblen, O. (1903), Hilbert’s foundations of geometry, Monist, 13, 303–309.Google Scholar
  42. Veblen, O. (1904a), A system of axioms for geometry, Trans. Amer. Math. Soc. 5, 343–384.MATHCrossRefMathSciNetGoogle Scholar
  43. Veblen, O. (1904b), The Heine-Borel theorem, Bull. Amer. Math. Soc. 10, 436–439.CrossRefMathSciNetGoogle Scholar
  44. Veblen, O. (1905a), Euclid’s parallel postulate, Open Court 19, 752–755.Google Scholar
  45. Veblen, O. (1905b), Definition in terms of order alone in the linear continuum and in well-ordered sets, Trans. Amer. Math. Soc. 6, 165–171.MATHCrossRefMathSciNetGoogle Scholar
  46. Veblen, O. (1905c), Theory of plane curves in nonmetrical analysis situs, Trans. Amer. Math. Soc. 6, 83–98.MATHCrossRefMathSciNetGoogle Scholar
  47. Veblen, O. (1906), The foundations of geometry: An historical sketch and a simple example, Popular Science Monthly n.v., pp. 21–28.Google Scholar
  48. Veblen, O. (1911), The foundations of geometry, in J.W.A. Young, Mongraphs on Topics of Modern Mathematics, Longmans, Green, New York, Chapter I, pp. 1–51.Google Scholar
  49. Veblen, O. (1922), Analysis Situs, American Mathematical Society Colloquium Publications, volume 5, part 2.Google Scholar
  50. Veblen, O. (1923), Geometry and physics, Science 57, 129–139.CrossRefGoogle Scholar
  51. Veblen, O. (1925), Remarks on the foundations of geometry, Bull Amer. Math. Soc. 31, 121–141.MATHCrossRefMathSciNetGoogle Scholar
  52. Veblen, O. (1934), Certain aspects of modern geometry-A course of three lectures, Rice Institute Pamphlets 31, 207–255.Google Scholar
  53. Veblen, O. and Alexander, J.W. (1913), Manifolds of n dimensions, Acta Math., Series 2,14, 163–178. Veblen, O. and Lennes, N.J. (1907), Introduction to Infinitesimal Analysis, Wiley, New York.MathSciNetGoogle Scholar
  54. Veblen, O. and Whitehead, J.H.C. (1931), A set of axioms for differential goemetry, Proc. Nat. Acad. Sci. 17, 551–561.MATHCrossRefGoogle Scholar
  55. Veblen, O. and Whitehead, J.H.C. (1932), Foundations of Differential Geometry, Cambridge Tracts in Mathematics and Mathematical Physics, number 29, Cambridge University Press, Cambridge.Google Scholar
  56. Veblen, O. and Young, J.W. (1908), A set of assumptions for projective geometry, Amer. J. Math. 30, 347–380.CrossRefMathSciNetGoogle Scholar
  57. Veblen, O. and Young, J.W. (1910/1918), Projective Geometry, 2 volumes (volume two by Veblen), Ginn, Boston.Google Scholar
  58. Wilder, R.L. (1965), Introduction to The Foundations of Mathematics, Wiley, New York.MATHGoogle Scholar

Copyright information

© Birkhäuser Boston 2008

Authors and Affiliations

  • William Aspray
    • 1
  1. 1.Center for the History of Electrical EngineeringRutgers UniversityNew BrunswickUSA

Personalised recommendations