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

Leo Corry

doi:10.1109/MAHC.2008.6

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

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	38-49
Number of pages	12
Journal	IEEE Annals of the History of Computing
Volume	30
Issue number	1
DOIs	https://doi.org/10.1109/MAHC.2008.6
State	Published - Jan 2008
Externally published	Yes

Keywords

Fermat's last theorem
Lehmer
Number theory
SWAC
Vandiver

Access to Document

10.1109/MAHC.2008.6

Cite this

@article{42293d99afd14ec59f95eb5e4c0c0449,

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

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 = "Fermat's last theorem, Lehmer, Number theory, SWAC, Vandiver",

author = "Leo Corry",

year = "2008",

month = jan,

doi = "10.1109/MAHC.2008.6",

language = "אנגלית",

volume = "30",

pages = "38--49",

journal = "IEEE Annals of the History of Computing",

issn = "1058-6180",

publisher = "IEEE Computer Society",

number = "1",

}

TY - JOUR

T1 - Fermat meets SWAC

T2 - Vandiver, the lehmers, computers, and number theory

AU - Corry, Leo

PY - 2008/1

Y1 - 2008/1

N2 - 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.

AB - 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.

KW - Fermat's last theorem

KW - Lehmer

KW - Number theory

KW - SWAC

KW - Vandiver

UR - http://www.scopus.com/inward/record.url?scp=42049109732&partnerID=8YFLogxK

U2 - 10.1109/MAHC.2008.6

DO - 10.1109/MAHC.2008.6

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:42049109732

SN - 1058-6180

VL - 30

SP - 38

EP - 49

JO - IEEE Annals of the History of Computing

JF - IEEE Annals of the History of Computing

IS - 1

ER -

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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this