
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Leo Corry, "Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory," IEEE Annals of the History of Computing, vol. 30, no. 1, pp. 3849, JanuaryMarch, 2008.  
BibTex  x  
@article{ 10.1109/MAHC.2008.6, author = {Leo Corry}, title = {Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory}, journal ={IEEE Annals of the History of Computing}, volume = {30}, number = {1}, issn = {10586180}, year = {2008}, pages = {3849}, doi = {http://doi.ieeecomputersociety.org/10.1109/MAHC.2008.6}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  MGZN JO  IEEE Annals of the History of Computing TI  Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory IS  1 SN  10586180 SP38 EP49 EPD  3849 A1  Leo Corry, PY  2008 KW  Fermat's last theorem KW  Lehmer KW  number theory KW  SWAC KW  Vandiver VL  30 JA  IEEE Annals of the History of Computing ER   
1. Above all through the success of Simon Singh's bestseller Fermat's Enigma and its associated BBC TV program (produced in collaboration with John Lynch).
2. See L. Corry, "El Teorema de Fermat y sus Historias [Fermat's Theorem and Its Histories]," Gaceta de la Real Sociedad Matemática Española, vol. 9, no. 2, 2006, pp. 387424 (in Spanish), L. Corry, "Fermat Comes to America: Harry Schultz Vandiver and FLT (1914–1963)," Mathematical Intelligencer, vol. 29, 2007, pp. 3040.
3. For detailed explanations about the theorems and proofs mentioned in this and the next few paragraphs, as well as references to the original sources, see H.M. Edwards, Fermat's Last Theorem. A Genetic Introduction to Algebraic Number Theory, Springer 1977.
4. E.E. Kummer, "Einige Satze über die aus den Wurzeln der Gleichung ... [Some Theorems on the Roots of the Equation ...]," Math. Abh. Akad. Wiss. Berlin, 1857, pp. 4174.
5. M. Ohm, "Etwas über die Bernoulli'schen Zahlen [On the Bernoulli Numbers]," Journal für reine und angewandte Mathematik, [Journal for Pure and Applied Mathematics], (abbreviated hereafter as J. für Math.), vol. 20, 1840, pp. 1112 (in German).
6. J.C. Adams, "Table of the values of the first sixtytwo numbers of Bernoulli," J. für Math., vol. 85, 1878, pp. 269272, S. Serebrenikoff, "Novyi sposob vychisleniya chisel Bernulli" [A New Method of Computation of Bernoulli Numbers], Zap. Akad. Nauk, Sankt Peterburg (Mémoires of the Imperial Academy of Sciences of St. Petersburg), vol. 19, no. 4, 1906, pp. 16 (in Russian).
7. K. Løchte Jensen, "Om talteoretiske Egenskaber ved de Bernoulliske Tal [On Number Theoretical Properties of the Bernoulli Numbers]," Nyt Tidsskrift for Matematik, vol. 26, 1915, pp. 7383 (in Danish).
8. H.S. Vandiver and G.E. Wahlin, Algebraic NumbersII. Report of the Committee on Algebraic Numbers, National Research Council, 1928, p. 182.
9. D. Hilbert, The Theory of Algebraic Number Fields, Springer 1998, p. ix, The expression "a minimum of blind calculations" quoted earlier in this same context appears in H. Minkowski, "Peter Gustav Lejeune Dirichlet und seine Bedeutung für die heutige Mathematik" [Peter Gustav Lejeune Dirichlet and his Significance for Contemporary Mathematics], Jahresbericht der Deutschen MathematikerVereinigung, vol. 14, 1905, pp. 149163 (in German).
10. For a complete bibliography, see the chapter on FLT in vol. 2 of L.E. Dickson, History of the Theory of Numbers, Chelsea, 1919. Except for items explicitly listed later, works mentioned in this section are all reported in Dickson's book.
11. W. Meissner (1913), "Über die Teilbarkeit von 2p−2durch das Quadrat der Primzahl p = 1093 [On the Divisibility of 2p−2by the Square of the Number p = 1093]," BerlinBrandenburgische Akademie der Wissenschaften. Berichte und Abhandlungen, [BerlinBrandenburg Academy of Sciences. Reports and Treatises], 1913, pp. 663667 (in German).
12. N.G.W.H. Beeger, "On the Congruence 2p−1≡1 (mod p2) and Fermat's Last Theorem," Messenger of Mathematics, vol. 55, 1925, pp. 1726.
13. For other uses of this machine, see M. Croarken, Early Scientific Computing in Britain, Clarendon Press, 1990, pp. 1315.
14. N.G.W.H. Beeger, "On the Congruence 2p−1≡1 (mod p2) and Fermat's Last Theorem," Nieuw Archief voor Wiskunde, vol. 20, 1939, pp. 5154.
15. "Crelle's Journal" is the J. für Math., founded by August L. Crelle in 1826. H.S. Vandiver, "Extensions of the Criteria of Wieferich and Mirimanoff in Connection with Fermat's Last Theorem," J. für Math., vol. 144, 1914, pp. 314318.
16. H.S. Vandiver, "On Kummer's Memoir of 1857 Concerning Fermat's Last Theorem," Proc. Nat'l Academy of Science (PNAS), vol. 6, 1920, pp. 266269, For a detailed account of Vandiver's work on FLT, see Corry, "Fermat Comes to America," 2007.
17. H.S. Vandiver, "On Fermat's Last Theorem," Trans. Am. Mathematical Soc. (AMS), vol. 31, 1929, pp. 613642.
18. D.N. Lehmer, List of Prime Numbers from 1 to 10,006,721, Carnegie Institution of Washington, 1914.
19. The machine is described in D.H. Lehmer, "A PhotoElectric NumberSieve," Am. Mathematics Monthly, vol. 40, 1933, pp. 401406.
20. J. Brillhart, "John Derrick Henry Lehmer," Acta Arithmetica, vol. 62, 1992, pp. 207213.
21. D. Lehmer to Vandiver, 9 Oct. 1934. The bulk of the correspondence between Vandiver and the Lehmers is kept in the Vandiver Collection, Archives of American Mathematics, Center for American History, The Univ. of Texas at Austin (hereafter cited as HSV). Interesting material is also found at the Emma and Dick Lehmer Archive, Univ. of California, Berkeley (hereafter cited as EHL). Letters are quoted here by permission.
22. D.H. Lehmer, "Lacunary Recurrence Formulas for the Numbers of Bernoulli and Euler," Annals of Mathematics, vol. 36, 1935, pp. 637648.
23. D. Lehmer to Vandiver, 20 Nov. 1934, HSV.
24. Lehmer, "Lacunary Recurrence Formulas," p. 637.
25. D.H. Lehmer, "An Extension of the Table of Bernoulli Numbers," Duke Mathematical J., vol. 2, 1936, pp. 460464.
26. Dick Lehmer to Vandiver, 10 Feb. 1936, HSV.
27. See M. CampbellKelly et al., eds., The History of Mathematical Tables. From Summer to Spreadsheets, Princeton Univ. Press, 2003.
28. See A.N. Lowan, "The Computational Laboratory of the National Bureau of Standards," Scripta Mathematica, vol. 15, 1949, pp. 3363, Lehmer is not mentioned in a recent account of the history of the project: D.A. Grier, "Table Making for the Relief of Labour," CampbellKelly et al., Mathematical Tables, pp. 265292.
29. H.S. Vandiver, "On Bernoulli Numbers and Fermat's Last Theorem," Duke Mathematical J., vol. 3, 1937, pp. 569584.
30. H.S. Vandiver, "On Bernoulli Numbers and Fermat's Last Theorem (Second Paper)," Duke Mathematical J., vol. 5, 1939, pp. 418427.
31. See H.D. Huskey, "SWACStandards Western Automatic Computer," IEEE Annals of the History of Computing, vol. 19, no. 4, 1997, pp. 5161.
32. G.W. Reitwiesner, "An ENIAC Determination of πand e to more than 2000 Decimal Places," Mathematical Tables and Other Aids to Computation, vol. 4, 1950, pp. 1115.
33. E. Lehmer, "Number Theory on the SWAC," Proc. Symp. Applied Mathematics, vol. 6, AMS, 1956, pp. 103108.
34. R. Robinson, "Mersenne and Fermat Numbers," Proc. AMS, vol. 5, 1954, pp. 842846, on p. 844.
35. E. Lehmer to Vandiver, 7 Mar. 1953, HSV.
36. Vandiver to E. Lehmer, 3 Apr. 1953, HSV.
37. See L. Corry, "Number Crunching vs. Number Theory: Computers and FLT, from Kummer to SWAC, and beyond," Archives for History of Exact Science, (forthcoming).
38. Lehmers to Vandiver, cable, 16 June 1953, EDL.
39. Vandiver to E. Lehmer, 22 Sept. 1953, HSV. It should be said that to this day no proof exists of the infiniteness of the regular primes, but there are good arguments to believe that this is the case. See C.L. Siegel, "Zu zwei Bemerkungken Kummers" [On Two Remarks of Kummer], Gött. Nachr., 1964, pp. 5162 (in German).
40. Vandiver to E. Lehmer, 5 Oct. 1953, HSV. Quoted verbatim.
41. H.S. Vandiver, D.H. Lehmer, and E. Lehmer, "An Application of HighSpeed Computing to Fermat's Last Theorem," PNAS, vol. 40, 1954, pp. 2533, on p. 33.
42. Vandiver to E. Lehmer, 30 Oct. 1953, HSV.
43. E. Lehmer to Vandiver, 14 Aug. 1954, HSV.
44. See J. Todd, "Numerical Analysis at the National Bureau of Standards," SIAM Rev., vol. 17, 1975, pp. 361370.
45. H.S. Vandiver, "Examination of Methods of Attack on the Second Case of Fermat's Last Theorem," PNAS, vol. 40, 1954, pp. 732735, H.S. Vandiver, J.L. Selfridge, and C.A. Nicol, "Proof of Fermat's Last Theorem for All Prime Exponents Less Than 4002," PNAS, vol. 41, 1955, pp. 970973.
46. See, for example, S.S. Wagstaff, "The Irregular Primes to 125,000," Mathematics of Computation, vol. 32, 1978, pp. 583591, J.P. Buhler, R.E. Crandall, and R.W. Sompolski, "Irregular Primes to One Million," Mathematics of Computation, vol. 59, 1992, pp. 717722.
47. J. Buhler et al., "Irregular Primes and Cyclotomic Invariants to 12 Million," J. Symbolic Computing, vol. 31, 2001, pp. 8996.
48. H.S. Vandiver, "The Rapid Computing Machine as an Instrument in the Discovery of New Relations in the Theory of Numbers," PNAS, vol. 44, 1958, pp. 459464.