Prime Simplicity

  • Michael HardyEmail author
  • Catherine Woodgold


Number Theory American Mathematical Society Prime Number Mathematical Intelligencer Elementary Mathematic 
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.



This paper owes a great debt to Jitse Niesen. He declined to be included as a coauthor after finding that we had already written a rough draft, but it was he who first called to our attention, in a discussion page on the Citizendium web site, the fact that Euclid’s proof was not by contradiction, by citing David Joyce’s translation on the web at 〈〉. We are happy to thank John Baxter and Ezra Miller for useful discussions.


  1. [1]
    Aaboe, A., Episodes from the Early History of Mathematics, Mathematical Association of America, 1964, pp. 52–53.Google Scholar
  2. [2]
    Aigner, M. and Ziegler, G., Proofs from the Book, Springer, 2004, p. 17.Google Scholar
  3. [3]
    Andrews, G. E., Number Theory, Courier Dover Publications, 1994 republication of a book published by W.B. Saunders Company in 1971, p. 100–101.Google Scholar
  4. [4]
    Anonymous book review, “ART. III.—Les OEuvres d’Euclide, en Grec, en Latin, et en Français, d’àpres un manuscrit très ancien qui était resté inconnu jusqu’à nos jours.” The Dublin Review 11 (22): 330–355, 1841.Google Scholar
  5. [5]
    Apostol, T. M., Introduction to Analytic Number Theory, Springer, 1976, p. 17.Google Scholar
  6. [6]
    Averbach, B. and Chein, O., Problem Solving Through Recreational Mathematics, Courier Dover Publications, 2000 (reprint of a book published by W. H. Freeman in 1980), p. 106–107.Google Scholar
  7. [7]
    Bach, E. and Shallit, J., Algorithmic Number Theory, MIT Press, 1996, p. 20.Google Scholar
  8. [8]
    Barnett, I. A., Some Ideas about Number Theory, National Council of Teachers of Mathematics, 1961, p. 7.Google Scholar
  9. [9]
    Beiler, A. H., Recreations in the Theory of Numbers: The Queen of Mathematics Entertains, Courier Dover Publications, 1966, p. 212.Google Scholar
  10. [10]
    Bennett, D. J., Logic Made Easy: How to Know When Language Deceives You, W. W. Norton and Company, 2004, p. 33–34.Google Scholar
  11. [11]
    Biggs, N. I., Discrete Mathematics, Oxford University Press, 2002, p. 52.Google Scholar
  12. [12]
    Birkhoff, G. and Mac Lane, S., Algebra, Chelsea, 1999, p. 119. (The error does not appear in the four earlier editions published in the title A Survey of Modern Algebra, published in 1941, 1953, 1965, and 1977.)Google Scholar
  13. [13]
    Boolos, G., Burgess, J. P., and Jeffrey, R. C., Computability and Logic, Cambridge University Press, 2002, p. 79.Google Scholar
  14. [14]
    Brassard, G. and Bratley, P., Fundamentals of Algorithmics, Prentice Hall, 1996, p. 14.Google Scholar
  15. [15]
    Bressoud, David M., Factorization and Primality Testing, Springer, 1989, p. 3.Google Scholar
  16. [16]
    Bromwich, T. J. I. A., An Introduction to the Theory of Infinite Series, American Mathematical Society, 1991 (reprint of a book published by Macmillan in 1908 and 1926; the cited page is identical to its couterpart in the first edition), p. 395.Google Scholar
  17. [17]
    Brown, J. R., Philosophy of Mathematics: An Introduction to the World of Proofs and Pictures, Routledge, 1999, p. 1.Google Scholar
  18. [18]
    Bruce, J. W. and Giblin, P. J., Microcomputers and Mathematics, Cambridge University Press, 1990, p. 146.Google Scholar
  19. [19]
    Bunt, L. N. H., Jones, P. S., and Bedient, J. D., The Historical Roots of Elementary Mathematics, Courier Dover Publications, 1988, p. 190.Google Scholar
  20. [20]
    Chahal, J. S., Topics in Number Theory, Springer, 1988, p. 4.Google Scholar
  21. [21]
    Childs, L., A Concrete Introduction to Higher Algebra, third edition, Springer, 2008, p. 63.Google Scholar
  22. [22]
    Chinn, W. G. and Davis, P. J., 3.1416 and All That, Birkhauser, 1985, p. 12.Google Scholar
  23. [23]
    Crandall, R. E. and Pomerance, C. B., Prime Numbers: A Computational Perspective, Springer, 2005, p. 6.Google Scholar
  24. [24]
    Crossley, J. N., The Emergence of Number, World Scientific, 1987, pp. 32–33.Google Scholar
  25. [25]
    Crossley, J. N., “Samsara”, in Gabbay, D. M., Goncharov, S. S., and Zakharyaschev, M., Mathematical Problems from Applied Logic I: Logics for the XXIst Century, Springer, 2006, p. 238.Google Scholar
  26. [26]
    Daepp, U. and Gorkin, P., Reading, Writing, and Proving: A Closer Look at Mathematics, Springer, 2000, pp. 58–59.Google Scholar
  27. [27]
    Danesi, Marcel, The Puzzle Instinct: The Meaning of Puzzles in Human Life, Indiana University Press, 2002, p. 214.Google Scholar
  28. [28]
    Danzig, T., Number: The Language of Science, 3rd edition, Macmillan, 1946, p. 48.Google Scholar
  29. [29]
    Davenport, H., The Higher Arithmetic: An Introduction to the Theory of Numbers, Hutchinson’s University Library, 1952, p. 17–18.Google Scholar
  30. [30]
    Derbyshire, J., Prime Obsession, Joseph Henry Press, 2003, p. 34.Google Scholar
  31. [31]
    de Smith, M. J., Maths for the Mystified, Troubador Publishing Ltd, 2006, p. 79.Google Scholar
  32. [32]
    Dence, J. B. and Dence, T. P., Elements of the Theory of Numbers, Elsevier, 1999, pp. 19–20.Google Scholar
  33. [33]
    Devlin, K. J., Mathematics: The Science of Patterns, Macmillan, 1996, pp. 19–20.Google Scholar
  34. [34]
    Devlin, K. J., The Math Gene: How Mathematical Thinking Evolved and Why Numbers Are Like Gossip, Basic Books, 2000, p. 134–135.Google Scholar
  35. [35]
    Devlin, K. J., The Millennium Problems: The Seven Greatest Unsolved Mathematical Puzzles of Our Time, Basic Books, 2003, p. 53.Google Scholar
  36. [36]
    Dickson, L. E., History of the Theory of Numbers, Carnegie Institution of Washington, 1923, p. 413.Google Scholar
  37. [37]
    Dietzfelbinger, M., Primality Testing in Polynomial Time: From Randomized Algorithms to “Primes is in P”, Springer, 2004, p. 39.Google Scholar
  38. [38]
    Driessen, A. and Suarez, A., Mathematical Undecidability, Quantum Nonlocality and the Question of the Existence of God, Springer, 1997, p. 42.Google Scholar
  39. [39]
    Dunham, W., The Mathematical Universe: An Alphabetical Journey Through the Great Proofs, Problems, and Personalities, John Wiley & Sons, 1994, pp. 7–9.Google Scholar
  40. [40]
    Dunham, W., Euler: The Master of Us All, Mathematical Association of American, 1999, p. 62.Google Scholar
  41. [41]
    Epstein, R. L. and Carnielli, W. A., Computability: Computable Functions, Logic, and the Foundations of Mathematics, CRC Press, 1989, p. 35.Google Scholar
  42. [42]
    Fisher, L., Weighing the Soul: Scientific Discovery from the Brilliant to the Bizarre, Arcade Publishing, 2004, pp. 29 and 201.Google Scholar
  43. [43]
    Fitzpatrick, R., Euclid’s Elements in Greek: Vol. II: Books 5–9, Lulu, 2006.Google Scholar
  44. [44]
    Fletcher, S., A Mathematical Bridge: An Intuitive Journey in Higher Mathematics, World Scientific, 2003, p. 47.Google Scholar
  45. [45]
    Franzén, T., Inexhaustibility: A Non-exhaustive Treatment, A K Peters, Ltd., 2004, p. 101.Google Scholar
  46. [46]
    Garrett, P., Making, Breaking Codes: An Introduction to Cryptology, Prentice-Hall, 2001, p. 191.Google Scholar
  47. [47]
    Gerstein, L., Introduction to Mathematical Structures and Proofs, Springer, 1996, p. 292.Google Scholar
  48. [48]
    Goldrei, D. Propositional And Predicate Calculus: A Model Of Argument, Springer, 2005, p. 80.Google Scholar
  49. [49]
    Gonzáles, M. O., Complex Analysis: Selected Topics, CRC Press, 1992, p. 330.Google Scholar
  50. [50]
    Goodfriend, J., A Gateway To Higher Mathematics, Jones and Bartlett Publishers, 2005, p. 182.Google Scholar
  51. [51]
    Grinstead, C. M., and Snell, J. L., Introduction to Probability, American Mathematical Society, 1997, p. 85.Google Scholar
  52. [52]
    Grosswald, E., Topics from the Theory of Numbers, Birkhauser, 1984, pp. 30–31.Google Scholar
  53. [53]
    Gullberg, J., Mathematics: From the Birth of Numbers, W. W. Norton & Company, 1997, p. 159.Google Scholar
  54. [54]
    Halsted, G. B., “Non-Euclidean Geometry”, American Mathematical Monthly, v. 7, no. 5, 123–133, May, 1900.CrossRefMathSciNetGoogle Scholar
  55. [55]
    Hardy, G. H., A Course of Pure Mathematics, Cambridge University Press, 1908, pp. 122–123. (The error persists in the 5th edition, published in 1928, where it is on page 120. The 10th edition, published in 1952, puts this passage on page 125 and neither asserts that Euclid’s proof is by contradiction nor says that the product plus 1 is prime. It remains on page 125 of the Centenary edition [58].)Google Scholar
  56. [56]
    Hardy, G. H., A Mathematician’s Apology, Cambridge University Press, 1992 (“Canto edition” published 45 years after the author’s death; the first edition appeared in 1940), p. 94.Google Scholar
  57. [57]
    Hardy, G. H. and Wright, E. M., An Introduction to the Theory of Numbers, Oxford University Press, 2003 (reprint of the 5th edition published in 1979, 32 years after the first author’s death in 1947), p. 12.Google Scholar
  58. [58]
    Hardy, G. H., Körner, T. W., A Course of Pure Mathematics Centenary Edition, 2008, p. 125.Google Scholar
  59. [59]
    Hasse, H. and Zimmer, H., Number Theory, Springer, 2002 (reprint of the posthumous 1980 edition), p. 4.Google Scholar
  60. [60]
    Henle, J. M. and Tymoczko, T., Sweet Reason: a Field Guide to Modern Logic, Springer, 2000, p. 309.Google Scholar
  61. [61]
    Hersh, R. and Davis, The Mathematical Experience, Birkhäuser, 1999, p. 210.Google Scholar
  62. [62]
    Herstein, I. N. and Kaplansky, I., Matters Mathematical, American Mathematical Society, 1978, p. 35.Google Scholar
  63. [63]
    Hintikka, G. H., Medieval Philosophy and Modern Times, Springer, 2000, p. 76.Google Scholar
  64. [64]
    Hobbs, C. and Perryman, R., The Largest Number Smaller Than Five, Lulu, 2007, p. 65.Google Scholar
  65. [65]
    Hoffman, P. E., Archimedes’ Revenge, W. W. Norton & Company, 1988, p. 38.Google Scholar
  66. [66]
    Hogben, L. T., Mathematics for the Million, W. W. Norton & Company, 1937, p. 211.Google Scholar
  67. [67]
    Hull, L. W. H., History and Philosophy of Science: An Introduction, Longmans, 1960, p. 72.Google Scholar
  68. [68]
    Humphreys, J. F. and Prest, M. Y., Numbers, Groups and Codes, Cambridge University Press, 2004, p. 33.Google Scholar
  69. [69]
    Ingham, A. E., The Distribution of Prime Numbers, Cambridge University Press, 2000 (reprint of a book published in 1934 by Cambridge Tracts), p. 1.Google Scholar
  70. [70]
    Ireland, K. E. and Rosen, M., A Classical Introduction to Modern Number Theory, Springer, 1990, p. 17.Google Scholar
  71. [71]
    Jameson, G. J. O., The Prime Number Theorem, Cambridge University Press, 2003, p. 2.Google Scholar
  72. [72]
    Jan, P., Mathematical Foundations of Computational Engineering: A Handbook, Springer, 2001, p. 287.Google Scholar
  73. [73]
    Jensen, G. R., Arithmetic for Teachers, American Mathematical Society, 2003, p. 164–165.Google Scholar
  74. [74]
    Johansen, K. F. and Johansen, F. F., A History of Ancient Philosophy: from the beginnings to Augustine, Routledge, 1998, p. 412.Google Scholar
  75. [75]
    Johnston, B. L. and Richman, F., Numbers and Symmetry: An Introduction to Algebra, CRC Press, 1997, p. 67.Google Scholar
  76. [76]
    Jones, A., Morris, S. A., and Pearson, K. R., Abstract Algebra and Famous Impossibilities, Springer, 1991, p. 117.Google Scholar
  77. [77]
    Kac, M. and Ulam, S. M., Mathematics and Logic, Courier Dover Publications, 1992 (reprint of a book published by Frederick A. Praeger in 1968), p. 3.Google Scholar
  78. [78]
    Karatsuba, A. A., Complex Analysis in Number Theory, CRC Press, 1995, p. 2.Google Scholar
  79. [79]
    Kisaécanin, B., Mathematical Problems and Proofs: Combinatorics, Number Theory, and Geometry, Springer, 1998, p. 11.Google Scholar
  80. [80]
    Klein, F., Elementary Mathematics from an Advanced Standpoint: Arithmetic, Algebra, Analysis, translated by E. R. Hedrick and C. A. Noble, Courier Dover Publications, 2004 (reprint of a book published by MacMillan in 1932), p. 40.Google Scholar
  81. [81]
    Kline, M., Mathematical Thought from Ancient to Modern Times, Oxford University Press, 1990, p. 79.Google Scholar
  82. [82]
    Koch, H., translated by Kramer, D., Number Theory: Algebraic Numbers and Functions, American Mathematical Society, 2000, p. 22.Google Scholar
  83. [83]
    Koshy, T., Elementary Number Theory with Applications, Elsevier, 2001, p. 200.Google Scholar
  84. [84]
    Kramer, E. E., The Nature and Growth of Modern Mathematics, Princeton University Press, 1982, pp. 499–500.Google Scholar
  85. [85]
    Lauritzen, N., Concrete Abstract Algebra, Cambridge University Press, 2003, p. 21.Google Scholar
  86. [86]
    Leveque, W. J., Elementary Theory of Numbers, Courier Dover Publications, 1990, p. 15.Google Scholar
  87. [87]
    Liebeck, M. W., A Concise Introduction to Pure Mathematics, CRC Press, 2000, p. 103.Google Scholar
  88. [88]
    Lovász, L., Pelikán, J., and Vesztergombi, K. L., Discrete Mathematics: Elementary and Beyond, Springer, 2003, p. 93.Google Scholar
  89. [89]
    Lozansky, E. D. and Rousseau, C., Winning Solutions, Springer, 1996, p. 2.Google Scholar
  90. [90]
    Luca, F. and Somer, L., 17 Lectures on Fermat Numbers: From Number Theory to Geometry, Springer, 2001, p. 9.Google Scholar
  91. [91]
    MacCarthy, T. G. and Stidd, S. C., Wittgenstein in America, Oxford University Press, 2001.Google Scholar
  92. [92]
    Maor, E., To Infinity and Beyond: A Cultural History of the Infinite, Princeton University Press, 1991, p. 235.Google Scholar
  93. [93]
    Menini, C. and van Oystaeyen, F. M. J., Abstract Algebra: A Comprehensive Treatment, CRC Press, 2004, p. 411.Google Scholar
  94. [94]
    Meyerson, M. I., Political Numeracy: Mathematical Perspectives on Our Chaotic Constitution, W. W. Norton & Company, 2003, p. 26.Google Scholar
  95. [95]
    Moser, L., An Introduction to the Theory of Numbers, The Trillia Group, 2004, p. 17.Google Scholar
  96. [96]
    Muir, J., Of Men and Numbers: The Story of the Great Mathematicians, Courier Dover Publications, 1996 (reprint of a book published by Dodd, Mead in 1961), p. 18–19.Google Scholar
  97. [97]
    Mukhopadhyay, P., Ghosh, S., and, Sen, M. K., Topics in Abstract Algebra, Orient Blackswan, 2006, p. 92.Google Scholar
  98. [98]
    Nagel, E. and Newman, J. R., Gödel’s Proof, New York University Press, 1964, p. 37.Google Scholar
  99. [99]
    Narkiewicz, W., The Development of Prime Number Theory: From Euclid to Hardy and Littlewood, Springer, 2000, p. 1–2.Google Scholar
  100. [100]
    Narkiewicz, W., Number Theory, World Scientific, 1983, p. 3.Google Scholar
  101. [101]
    Nathanson, M. B., Elementary Methods in Number Theory, Springer, 2000, p. 33.Google Scholar
  102. [102]
    Niven, I. and Zuckerman, H. S., An Introduction to the Theory of Numbers, Wiley, 1980, p. 14.Google Scholar
  103. [103]
    Ogilvy, C. Stanley and Anderson, John T., Excursions in Number Theory, Oxford University Press, 1966, pp. 35–36.Google Scholar
  104. [104]
    Ore, Ø., Number Theory and Its History, Courier Dover Publications, 1988 (reprint of a book published by McGraw-Hill in 1948), p. 65.Google Scholar
  105. [105]
    Paulos, J. A., Mathematics and Humor, University of Chicago Press, 1982, p. 13.Google Scholar
  106. [106]
    Patterson, Stephen J., An Introduction to the Theory of the Riemann Zeta-Function, Cambridge University Press, 1988, p. 2.Google Scholar
  107. [107]
    Phillips, G. M., Mathematics Is Not a Spectator Sport, Springer, 2005, p. 102.Google Scholar
  108. [108]
    Pieprzyk, J., Seberry, J., and Hardjono, T., Fundamentals of Computer Security, Springer, 2003, p. 15.Google Scholar
  109. [109]
    Popper, K., The Open Universe: An Argument for Indeterminism, Routledge, 1992, p. 120.Google Scholar
  110. [110]
    Popper, K., All Life is Problem Solving, Routledge, 1999, p. 28.Google Scholar
  111. [111]
    Rademacher, H., Lectures on Elementary Number Theory, Robert E. Krieger Publishing Company, 1977 (reprint of a book published by Ginn and Company in 1964), p. 1.Google Scholar
  112. [112]
    Ratzan, L., Understanding Information Systems: What They Do and Why We Need Them, ALA Editions, 2004, p. 139.Google Scholar
  113. [113]
    Redmond, D., Number Theory: An Introduction, CRC Press, 1996, pp. 23–24.Google Scholar
  114. [114]
    Regis, E., Who Got Einstein’s Office?: Eccentricity and Genius at the Institute for Advanced Study, Basic Books, 1987, pp. 72–73.Google Scholar
  115. [115]
    Reid, C., A Long Way from Euclid, Courier Dover Publications, 2004 (reprint of a book published by T. Y. Crowell in 1963), p. 32.Google Scholar
  116. [116]
    Reid, L. W., The Elements of the Theory of Algebraic Numbers, Macmillan, 1910, p. 10.Google Scholar
  117. [117]
    Ribenboim, P., The Little Book of Bigger Primes, Springer, 2004, p. 3.Google Scholar
  118. [118]
    Ribenboim, P., My Numbers, My Friends: Popular Lectures on Number Theory, Springer, 2000, p. 64.Google Scholar
  119. [119]
    Ribenboim, P., The New Book of Prime Number Records, Springer, 1996, p. 3.Google Scholar
  120. [120]
    Roberts, J., Elementary Number Theory: A Problem Oriented Approach, MIT Press, 1977, p. 21.Google Scholar
  121. [121]
    Rose, H. E., A Course in Number Theory, Oxford University Press, 1994, p. 7.Google Scholar
  122. [122]
    Russo, L., translated by Silvio Levy, The Forgotten Revolution: How Science was Born in 300 BC and why it Had to be Reborn, Springer, 2004, p. 44.Google Scholar
  123. [123]
    du Sautoy, M., The Music of the Primes: Searching to Solve the Greatest Mystery in Mathematics, Harper Collins, 2004, pp. 36–38.Google Scholar
  124. [124]
    Schumer, P., Mathematical Journeys, Wiley-IEEE, 2004, p. 2.Google Scholar
  125. [125]
    Sethuraman, B. A., Rings, Fields, and Vector Spaces: An Introduction to Abstract Algebra Via Geometric Constructibility, Springer, 1997, p. 22.Google Scholar
  126. [126]
    Shanks, D., Solved and Unsolved Problems in Number Theory, American Mathematical Society, 1993, p. 13.Google Scholar
  127. [127]
    Shahriari, S., Approximately Calculus, American Mathematical Society, 2006, p. 35.Google Scholar
  128. [128]
    Shklarsky, D. O., Chentzov, N. N., and Yaglom, I. M., The USSR Olympiad Problem Book: Selected Problems and Theorems of Elementary Mathematics, Courier Dover Publications, 1993, p. 370.Google Scholar
  129. [129]
    Spencer, A., Adam Spencer’s Book of Numbers, Thunder’s Mouth Press, 2004, p.Google Scholar
  130. [130]
    Szabó, Á., The Beginnings of Greek Mathematics, Springer, 1978, p. 320.Google Scholar
  131. [131]
    Tattersall, J. J., Elementary Nmber Theory in Nine Chapters, Cambridge University Press, 2005, p. 107.Google Scholar
  132. [132]
    Tenenbaum, G. and France, M. M., translated by Spain, P., The Prime Numbers and Their Distribution, American Mathematical Society, 2000, p. 2.Google Scholar
  133. [133]
    Urban, F. M., “On a Supposed Criterion of the Absolute Truth of Some Propositions”, The Journal of Philosophy, Psychology, and Scientific Methods, v. 5, no. 26, pp. 701–708, 1908.CrossRefGoogle Scholar
  134. [134]
    Vakil, R., A Mathematical Mosaic: Patterns & Problem Solving, Brendan Kelly Publishing Inc., 1996, p. 124.Google Scholar
  135. [135]
    Vanden Eynden, Elementary Number Theory, Random House, 1987, p. 59.Google Scholar
  136. [136]
    Velleman, D., How to Prove It: A Structured Approach, Cambridge University Press, 1994, p. 4.Google Scholar
  137. [137]
    Wallace, D. F., Everything And More: A Compact History Of Infinity, W. W. Norton & Company, 2004, p. 28.Google Scholar
  138. [138]
    Ward, T. and Everest, G., An Introduction to Number Theory, Springer, 2004, p. 8.Google Scholar
  139. [139]
    Weisstein, E. W., CRC Concise Encyclopedia of Mathematics, CRC Press, 2003, p. 943.Google Scholar
  140. [140]
    Wickless, W. J., A First Graduate Course in Abstract Algebra, CRC Press, 2004.Google Scholar
  141. [141]
    Wiedijk, F., “Formal Proof Sketches”, in Berardi, S., Coppo, M., and Damiani, F., (eds.), Types For Proofs and Programs, Springer 2004, p. 390.Google Scholar
  142. [142]
    Wilder, R. L., “The Nature of Mathematical Proof”, American Mathematical Monthly, v. 51, no. 5, 309–323, 1944, p. 313.Google Scholar
  143. [143]
    Williams, M., Wittgenstein, Mind, and Meaning: Toward a Social Conception of Mind, Routledge, 1999, pp. 224, 299.Google Scholar
  144. [144]
    Williamson, J., The Elements of Euclid, With Dissertations, Clarendon Press, Oxford, 1782, p. 63.Google Scholar
  145. [145]
    Wilson, A. M., The Infinite in the Finite, Oxford University Press, 1995, p. 374.Google Scholar
  146. [146]
    Yan, S. Y., Primality Testing and Integer Factorization, Springer 2004, p. 5.Google Scholar
  147. [147]
    Zubair, S. M. and Chaudhry, M. A., On a Class of Incomplete Gamma Functions With Applications, CRC Press, 2002, p. 292.Google Scholar

Copyright information

© Springer Science+Business Media, LLC 2009

Authors and Affiliations

  1. 1.School of MathematicsUniversity of MinnesotaMinneapolisUSA
  2. 2.OttawaCanada

Personalised recommendations