Fermat meets SWAC: Vandiver, the lehmers, computers, and number theory

Research output: Contribution to journalArticlepeer-review

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.

Original languageEnglish
Pages (from-to)38-49
Number of pages12
JournalIEEE Annals of the History of Computing
Volume30
Issue number1
DOIs
StatePublished - Jan 2008

Keywords

  • Fermat's last theorem
  • Lehmer
  • Number theory
  • SWAC
  • Vandiver

Fingerprint

Dive into the research topics of 'Fermat meets SWAC: Vandiver, the lehmers, computers, and number theory'. Together they form a unique fingerprint.

Cite this