Subscribe

Issue No.01 - January-March (2008 vol.30)

pp: 38-49

Leo Corry , Tel Aviv University

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MAHC.2008.6

ABSTRACT

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.

INDEX TERMS

Fermat's last theorem, Lehmer, number theory, SWAC, Vandiver

CITATION

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.6REFERENCES