Issue No.01 - January-March (2008 vol.30)
Leo Corry , Tel Aviv University
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MAHC.2008.6
This article describes the work of Harry Schultz Vandiver, Derrick Henry Lehmer, and Emma Lehmer on calculations related with proofs of Fermat's last theorem. This story sheds light on ideological and institutional aspects of activity in number theory in the US during the 20th century, and on the incursion of computer-assisted methods into pure fields of mathematical research.
Fermat's last theorem, Lehmer, number theory, SWAC, Vandiver
Leo Corry, "Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory", IEEE Annals of the History of Computing, vol.30, no. 1, pp. 38-49, January-March 2008, doi:10.1109/MAHC.2008.6