Harold Edwards (mathematician)
   HOME

TheInfoList



OR:

Harold Mortimer Edwards, Jr. (August 6, 1936 – November 10, 2020) was an American mathematician working in
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
,
algebra Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary ...
, and the history and philosophy of mathematics. He was one of the co-founding editors, with Bruce Chandler, of ''
The Mathematical Intelligencer ''The Mathematical Intelligencer'' is a mathematical journal published by Springer Verlag that aims at a conversational and scholarly tone, rather than the technical and specialist tone more common among academic journals. Volumes are released qu ...
''. He is the author of expository books on the Riemann zeta function, on
Galois theory In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to ...
, and on
Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers , , and satisfy the equation for any integer value of greater than 2. The cases and have been ...
. He wrote a book on
Leopold Kronecker Leopold Kronecker (; 7 December 1823 – 29 December 1891) was a German mathematician who worked on number theory, algebra and logic. He criticized Georg Cantor's work on set theory, and was quoted by as having said, "'" ("God made the integers, ...
's work on divisor theory providing a systematic exposition of that work—a task that Kronecker never completed. He wrote textbooks on
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrices ...
,
calculus Calculus, originally called infinitesimal calculus or "the calculus of infinitesimals", is the mathematical study of continuous change, in the same way that geometry is the study of shape, and algebra is the study of generalizations of arithm ...
, and number theory. He also wrote a book of essays on
constructive mathematics In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove th ...
. Edwards graduated from the
University of Wisconsin–Madison A university () is an institution of higher (or tertiary) education and research which awards academic degrees in several academic disciplines. Universities typically offer both undergraduate and postgraduate programs. In the United Stat ...
in 1956, received a
Master of Arts A Master of Arts ( la, Magister Artium or ''Artium Magister''; abbreviated MA, M.A., AM, or A.M.) is the holder of a master's degree awarded by universities in many countries. The degree is usually contrasted with that of Master of Science. Th ...
from
Columbia University Columbia University (also known as Columbia, and officially as Columbia University in the City of New York) is a private research university in New York City. Established in 1754 as King's College on the grounds of Trinity Church in Manhatt ...
in 1957, and a Ph.D from
Harvard University Harvard University is a private Ivy League research university in Cambridge, Massachusetts. Founded in 1636 as Harvard College and named for its first benefactor, the Puritan clergyman John Harvard, it is the oldest institution of high ...
in 1961, under the supervision of
Raoul Bott Raoul Bott (September 24, 1923 – December 20, 2005) was a Hungarian-American mathematician known for numerous basic contributions to geometry in its broad sense. He is best known for his Bott periodicity theorem, the Morse–Bott functions whi ...
. He taught at Harvard and
Columbia University Columbia University (also known as Columbia, and officially as Columbia University in the City of New York) is a private research university in New York City. Established in 1754 as King's College on the grounds of Trinity Church in Manhatt ...
; he joined the faculty at
New York University New York University (NYU) is a private research university in New York City. Chartered in 1831 by the New York State Legislature, NYU was founded by a group of New Yorkers led by then- Secretary of the Treasury Albert Gallatin. In 1832, th ...
in 1966, and was an
emeritus professor ''Emeritus'' (; female: ''emerita'') is an adjective used to designate a retired chair, professor, pastor, bishop, pope, director, president, prime minister, rabbi, emperor, or other person who has been "permitted to retain as an honorary title ...
starting in 2002. In 1980, Edwards won the
Leroy P. Steele Prize The Leroy P. Steele Prizes are awarded every year by the American Mathematical Society, for distinguished research work and writing in the field of mathematics. Since 1993, there has been a formal division into three categories. The prizes have b ...
for Mathematical Exposition of the
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
, for his books on the Riemann zeta function and Fermat's Last Theorem. For his contribution in the field of the history of mathematics he was awarded the
Albert Leon Whiteman Memorial Prize __NOTOC__ The Albert Leon Whiteman Memorial Prize is awarded by the American Mathematical Society for notable exposition and exceptional scholarship in the history of mathematics. The prize was endowed in 1998 with funds provided by Sally Whit ...
by the AMS in 2005.. In 2012 he became a fellow of the
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
. Edwards was married to Betty Rollin, a former
NBC News NBC News is the news division of the American broadcast television network NBC. The division operates under NBCUniversal Television and Streaming, a division of NBCUniversal, which is, in turn, a subsidiary of Comcast. The news division's var ...
correspondent, author, and
breast cancer Breast cancer is cancer that develops from breast tissue. Signs of breast cancer may include a lump in the breast, a change in breast shape, dimpling of the skin, milk rejection, fluid coming from the nipple, a newly inverted nipple, or a r ...
survivor. Edwards died on November 10, 2020 of colon cancer.


Books

* ''Higher Arithmetic: An Algorithmic Introduction to Number Theory'' (2008)
An extension of Edwards' work in ''Essays in Constructive Mathematics'', this textbook covers the material of a typical undergraduate
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
course,Review by Samuel S. Wagstaff, Jr. (2009), ''
Mathematical Reviews ''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also pu ...
'', .
but follows a constructivist viewpoint in focusing on
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specificat ...
s for solving problems rather than allowing purely existential solutions. The constructions are intended to be simple and straightforward, rather than efficient, so, unlike works on algorithmic number theory, there is no analysis of how efficient they are in terms of their
running time In computer science, the time complexity is the computational complexity that describes the amount of computer time it takes to run an algorithm. Time complexity is commonly estimated by counting the number of elementary operations performed by t ...
.Review
by Luiz Henrique de Figueiredo,
Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure a ...
, April 26, 2008.
* ''Essays in Constructive Mathematics'' (2005)
Although motivated in part by the history and philosophy of mathematics, the main goal of this book is to show that advanced mathematics such as the
fundamental theorem of algebra The fundamental theorem of algebra, also known as d'Alembert's theorem, or the d'Alembert–Gauss theorem, states that every non- constant single-variable polynomial with complex coefficients has at least one complex root. This includes polynomial ...
, the theory of
binary quadratic form In mathematics, a binary quadratic form is a quadratic homogeneous polynomial in two variables : q(x,y)=ax^2+bxy+cy^2, \, where ''a'', ''b'', ''c'' are the coefficients. When the coefficients can be arbitrary complex numbers, most results are ...
s, and the
Riemann–Roch theorem The Riemann–Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeros and allowed poles. It rel ...
can be handled in a constructivist framework. The second edition (2022) adds a new set of essays that reflect and expand upon the first. This was Edwards' final book, finished shortly before his death. * ''Linear Algebra'', Birkhäuser, (1995) * ''Divisor Theory'' (1990)
Algebraic divisors were introduced by Kronecker as an alternative to the theory of ideals. According to the citation for Edwards' Whiteman Prize, this book completes the work of Kronecker by providing "the sort of systematic and coherent exposition of divisor theory that Kronecker himself was never able to achieve." * ''Galois Theory'' (1984)
Galois theory In mathematics, Galois theory, originally introduced by Évariste Galois, provides a connection between field theory and group theory. This connection, the fundamental theorem of Galois theory, allows reducing certain problems in field theory to ...
is the study of the
solutions Solution may refer to: * Solution (chemistry), a mixture where one substance is dissolved in another * Solution (equation), in mathematics ** Numerical solution, in numerical analysis, approximate solutions within specified error bounds * Solutio ...
of
polynomial equations In mathematics, an algebraic equation or polynomial equation is an equation of the form :P = 0 where ''P'' is a polynomial with coefficients in some field (mathematics), field, often the field of the rational numbers. For many authors, the term '' ...
using abstract
symmetry group In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
s. This book puts the origins of the theory into their proper historical perspective, and carefully explains the mathematics in
Évariste Galois Évariste Galois (; ; 25 October 1811 – 31 May 1832) was a French mathematician and political activist. While still in his teens, he was able to determine a necessary and sufficient condition for a polynomial to be solvable by radicals, ...
' original manuscript (reproduced in translation).
Mathematician
Peter M. Neumann Peter Michael Neumann OBE (28 December 1940 – 18 December 2020) was a British mathematician. His fields of interest included the history of mathematics and Galois theory. Biography Born in December 1940, Neumann was a son of the German-bo ...
won the
Lester R. Ford :''This is about early- and mid-20th-century mathematician. For his mathematician son, active from the mid-20th century, see L. R. Ford Jr.'' Lester Randolph Ford Sr. (October 25, 1886 – November 11, 1967) was an American mathematician, e ...
Award of the
Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university, college, and high school teachers; graduate and undergraduate students; pure a ...
in 1987 for his review of this book. * ''Fermat's Last Theorem: A Genetic Introduction to Algebraic Number Theory'' (1977)
As the word "genetic" in the title implies, this book on
Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers , , and satisfy the equation for any integer value of greater than 2. The cases and have been ...
is organized in terms of the origins and historical development of the subject. It was written some years prior to Wiles' proof of the theorem, and covers research related to the theorem only up to the work of
Ernst Kummer Ernst Eduard Kummer (29 January 1810 – 14 May 1893) was a German mathematician. Skilled in applied mathematics, Kummer trained German army officers in ballistics; afterwards, he taught for 10 years in a '' gymnasium'', the German equivalent of ...
, who used
p-adic number In mathematics, the -adic number system for any prime number  extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extensi ...
s and
ideal theory In mathematics, ideal theory is the theory of ideals in commutative rings. While the notion of an ideal exists also for non-commutative rings, a much more substantial theory exists only for commutative rings (and this article therefore only consid ...
to prove the theorem for a large class of exponents, the
regular prime In number theory, a regular prime is a special kind of prime number, defined by Ernst Kummer in 1850 to prove certain cases of Fermat's Last Theorem. Regular primes may be defined via the divisibility of either class numbers or of Bernoulli num ...
s. * ''Riemann's Zeta Function'' (1974)
This book concerns the Riemann zeta function and the
Riemann hypothesis In mathematics, the Riemann hypothesis is the conjecture that the Riemann zeta function has its zeros only at the negative even integers and complex numbers with real part . Many consider it to be the most important unsolved problem in ...
on the location of the zeros of this function. It includes a translation of Riemann's original paper on these subjects, and analyzes this paper in depth; it also covers methods of computing the function such as Euler–Maclaurin summation and the
Riemann–Siegel formula In mathematics, the Riemann–Siegel formula is an asymptotic formula for the error of the approximate functional equation of the Riemann zeta function, an approximation of the zeta function by a sum of two finite Dirichlet series. It was found by ...
. However, it omits related research on other
zeta function In mathematics, a zeta function is (usually) a function analogous to the original example, the Riemann zeta function : \zeta(s) = \sum_^\infty \frac 1 . Zeta functions include: * Airy zeta function, related to the zeros of the Airy function * A ...
s with analogous properties to Riemann's function, as well as more recent work on the
large sieve The large sieve is a method (or family of methods and related ideas) in analytic number theory. It is a type of sieve where up to half of all residue classes of numbers are removed, as opposed to small sieves such as the Selberg sieve wherein only ...
and density estimates. * ''Advanced Calculus: A Differential Forms Approach'' (1969)
This textbook uses
differential form In mathematics, differential forms provide a unified approach to define integrands over curves, surfaces, solids, and higher-dimensional manifolds. The modern notion of differential forms was pioneered by Élie Cartan. It has many applications, ...
s as a unifying approach to
multivariate calculus Multivariable calculus (also known as multivariate calculus) is the extension of calculus in one variable to calculus with functions of several variables: the differentiation and integration of functions involving several variables, rather th ...
. Most chapters are self-contained. As an aid to learning the material, several important tools such as the implicit function theorem are described first in the simplified setting of
affine map In Euclidean geometry, an affine transformation or affinity (from the Latin, ''affinis'', "connected with") is a geometric transformation that preserves lines and parallelism, but not necessarily Euclidean distances and angles. More generally, ...
s before being extended to
differentiable map In mathematics, a differentiable function of one real variable is a function whose derivative exists at each point in its domain. In other words, the graph of a differentiable function has a non-vertical tangent line at each interior point in its ...
s.Review by R. S. Booth (1982), ''
Mathematical Reviews ''Mathematical Reviews'' is a journal published by the American Mathematical Society (AMS) that contains brief synopses, and in some cases evaluations, of many articles in mathematics, statistics, and theoretical computer science. The AMS also pu ...
'', .


See also

*
Edwards curve In mathematics, the Edwards curves are a family of elliptic curves studied by Harold Edwards in 2007. The concept of elliptic curves over finite fields is widely used in elliptic curve cryptography. Applications of Edwards curves to cryptograp ...
and
Twisted Edwards curve In algebraic geometry, the twisted Edwards curves are plane models of elliptic curves, a generalisation of Edwards curves introduced by Daniel J. Bernstein, Bernstein, Birkner, Joye, Tanja Lange, Lange and Peters in 2008. The curve set is named a ...


References


External links


Web page at New York University
{{DEFAULTSORT:Edwards, Harold M. 1936 births 2020 deaths 20th-century American mathematicians 21st-century American mathematicians Number theorists Harvard University alumni Columbia University faculty Harvard University faculty New York University faculty American historians of mathematics Fellows of the American Mathematical Society People from Champaign, Illinois Mathematicians from Illinois