Harold Mortimer Edwards, Jr. (6 août 1936 à Champaign, Illinois, États-Unis) est un mathématicien américain spécialisé en théorie des nombres et en algèbre abstraite. Il a publié des ouvrages sur l'histoire et la philosophie des mathématiques.
Edwards a obtenu son doctorat en mathématiques (PhD) en 1961 de l'Université Harvard sous la supervision de Raoul Bott. Par après, il a enseigné à Harvard et à l'Université de Columbia. Il a obtenu un poste à l'Université de New York en 1966, où il est professeur émérite depuis 2002.
Avec Bruce Chandler, il a fondé The Mathematical Intelligencer. Il a rédigé des ouvrages éducatif sur la fonction zêta de Riemann, sur la théorie de Galois et sur le dernier théorème de Fermat. Il a aussi rédigé un ouvrage sur la théorie des diviseurs de Leopold Kronecker, offrant ainsi une exposition systématique de ce travail, ce que Kronecker n'est pas parvenu à faire. Il également rédigé des ouvrages sur l'algèbre linéaire, le calcul différentiel et la théorie des nombres. Il s'est aussi intéressé aux constructivisme mathématique.
En 1980, Edwards a obtenu le Leroy P. Steele Prize for Mathematical Exposition de l'American Mathematical Society (AMS) pour souligner la qualité de ses livres sur la fonction zêta de Riemann et le dernier théorème de Fermat. Pour ses contributions à l'histoire des mathématiques, l'AMS lui a remis en 2005 le Albert Leon Whiteman Memorial Prize.
(en) Higher Arithmetic: An Algorithmic Introduction to Number Theory, American Mathematical Society, 2008, ISBN 9780821844397. Une prolongation du travail d'Edwards commencé dans Essays in Constructive Mathematics. Ce livre offre la matière habituellement enseignée, au niveau du baccalauréat américain, en théorie des nombres, mais selon une approche constructiviste qui se concentre sur des algorithmes pour résoudre des problèmes plutôt que d'offrir des démonstrations d'existence de solutions. Cependant, au contraire de plusieurs autres ouvrages sur la théorie algorithmique des nombres, l'auteur n'analyse pas l'efficacité des algorithmes en terme de temps d'exécution.
(en) Essays in Constructive Mathematics, Springer-Verlag, 2005, ISBN 0-387-21978-1. Le but premier de cet ouvrage est de démontrer que des mathématiques de haut niveau, tels la théorie des formes quadratiques binaires et le théorème de Riemann-Roch, peuvent être manipulées à l'intérieur d'un cadre constructiviste.
(en) Linear Algebra, Birkhäuser, 1995
(en) Divisor Theory, Birkhäuser, 1990. ISBN 0-8176-3448-7. Les diviseurs algébriques ont été introduits par Kronecker comme alternative à la théorie des idéaux. Edwards, lors de son acception du Whiteman Prize, a affirmé que ce livre complète le travail de Kronecker en offrant « une exposition systématique et cohérente de la théorie des diviseurs que Kronecker lui-même n'est jamais parvenu à compléter. »
(en) Galois Theory, Springer-Verlag, « Graduate Texts in Mathematics », 101, 1984, ISBN 0-387-90980-X. La théorie de Galois étudie les solutions des équations polynomiales en utilisant les groupes de symétrie. Ce livre situe la théorie dans une perspective historique et détaille les mathématiques du manuscript original d'Évariste Galois (reproduit en français)
(en) Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory, Springer-Verlag, « Graduate Texts in Mathematics », 50, 1977. ISBN 0-387-90230-9. Republié avec corrections, 1996, ISBN 9780387950020. Traduit en russe par V. L. Kalinin et A. I. Skopin chez Mir, Moscou, 1980. Ce livre sur le dernier théorème de Fermat présente l'origine du théorème et les développements qui ont suivi. Il a été écrit quelques années avant que Andrew Wiles ne démontre la conjecture et offre une perspective sur les recherches l'entourant, tel le travail d'Ernst Kummer qui a eu recours aux nombres p-adiques et à la théorie des idéaux pour démontrer la conjecture si l'exposant est un nombre premier régulier .
(en) Riemann's Zeta Function, « Pure and Applied Mathematics » 58, Academic Press, 1974. Republié par Dover Publications, 2001. ISBN 9780486417400. Ce livre se concentre sur la fonction zêta de Riemann et sur l'hypothèse de Riemann. Il contient une traduction du texte original de Riemann et analyse ce texte en profondeur. Il discute de différentes méthodes pour calculer les zéros, telles la formule d'Euler-Maclaurin et la formule de Riemann–Siegel. Cependant, il ne présente aucune information sur les autres fonctions zêtas avec des propriétés semblables, ni ne discute des recherches plus récentes sur les filtres larges et sur les estimations de densité.
(en) Advanced Calculus: A Differential Forms Approach, Houghton–Mifflin, 1969. Republié avec corrections par Krieger Publishing, 1980. Republié par Birkhäuser, 1993. ISBN 0-8176-3707-9. Ce manuel a recours aux formes différentielles pour unifier la manipulation des fonctions de plusieurs variables. Pour faciliter l'apprentissage, plusieurs outils importants, tel que le théorème des fonctions implicites, sont appliqués à des objets mathématiques relativement simples, tel les applications affines, avant d'être appliqués aux applications différentielles.