Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond

DOI10.1007/s00407-007-0018-2zbMath1147.11003OpenAlexW2000676640WikidataQ56852392 ScholiaQ56852392MaRDI QIDQ942900

Leo Corry

Publication date: 8 September 2008

Published in: Archive for History of Exact Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00407-007-0018-2

zbMATH Keywords

Fermat's last theoremNumber Theory

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of number theory (11-03) Algebraic number theory computations (11Y40) Higher degree equations; Fermat's equation (11D41) History of mathematics in the 19th century (01A55)

Related Items (6)

``Voici ce que j'ai trouvé: Sophie Germain's grand plan to prove Fermat's last theorem ⋮ When Logic Meets Engineering: Introduction to Logical Issues in the History and Philosophy of Computer Science ⋮ On the history of Fermat's last theorem: Fresh views on an old tale ⋮ Fermat comes to America: Harry Schultz Vandiver and FLT (1914--1963). ⋮ Zionist Internationalism through Number Theory: Edmund Landau at the Opening of the Hebrew University in 1925 ⋮ Reading Gauss in the computer age: On the U.S. Reception of Gauss's number theoretical work (1938-1989)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Théorème de Brun-Titchmarsh; application au théorème de Fermat
• Unpublished manuscripts of Sophie Germain and a revaluation of her work on Fermat's last theorem
• On the history of Fermat's last theorem: Fresh views on an old tale
• Fermat comes to America: Harry Schultz Vandiver and FLT (1914--1963).
• The background of Kummer's proof of Fermat's last theorem for regular primes
• Postscript to The background of Kummer's proof
• Computation of invariants in the theory of cyclotomic fields
• An extension of the table of Bernoulli numbers
• The minima of functionals with associated side conditions
• On Bernoulli's numbers and Fermat's last theorem
• Zum Fermatschen Problem
• Irregular Primes and Cyclotomic Invariants to Four Million
• Fermat Meets SWAC: Vandiver, the Lehmers, Computers, and Number Theory
• The First Case of Fermat's Last Theorem is True for all Prime Exponents up to 714,591,416,091,389
• Alfred Edward Western
• Derrick Henry Lehmer
• The Irregular Primes to 125000
• Mathematical Expeditions
• Note on the Divisors of the Numerators of Bernoulli's Numbers
• A note on Fermat’s last theorem
• Summary of Results and Proofs on Fermat's Last Theorem. (Sixth Paper)
• Über die Fermatsche Vermutung, VII
• A Photo-Electric Number Sieve
• Fermat’s last theorem and the second factor in the cyclotomic class number
• On the first case of Fermat’s last theorem
• A new lower bound for the exponent in the first case of Fermat’s last theorem
• An additional criterion for the first case of Fermat’s last theorem
• On the first case of Fermat’s last theorem
• The Class Number of the Cyclotomic Field
• The Sieve Problem for All-Purpose Computers
• AN APPLICATION OF HIGH-SPEED COMPUTING TO FERMAT'S LAST THEOREM
• EXAMINATION OF METHODS OF ATTACK ON THE SECOND CASE OF FERMAT'S LAST THEOREM
• Note on Irregular Primes
• Mersenne and Fermat Numbers
• Fermat's Last Theorem: Its History and the Nature of the Known Results Concerning It
• PROOF OF FERMAT'S LAST THEOREM FOR ALL PRIME EXPONENTS LESS THAN 4002
• The first case of Fermat's last theorem
• The lattice points of an \(n\)-dimensional tetrahedron
• Irregular primes and cyclotomic invariants to 12 million
• On Kummer's conjecture

This page was built for publication: Number crunching vs. number theory: computers and FLT, from Kummer to SWAC (1850--1960), and beyond