• DocumentCode
    1110060
  • Title

    Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory

  • Author

    Corry, Leo

  • Author_Institution
    Tel Aviv Univ., Tel Aviv
  • Volume
    30
  • Issue
    1
  • fYear
    2008
  • Firstpage
    38
  • Lastpage
    49
  • 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.
  • Keywords
    number theory; theorem proving; Fermat theorem; electronic digital computer; number theory; Books; Equations; Geophysics computing; Large-scale systems; Mathematics; Meteorology; Fermat´s last theorem; Lehmer; SWAC; Vandiver; number theory;
  • fLanguage
    English
  • Journal_Title
    Annals of the History of Computing, IEEE
  • Publisher
    ieee
  • ISSN
    1058-6180
  • Type

    jour

  • DOI
    10.1109/MAHC.2008.6
  • Filename
    4475837
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1110060