mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, organized by field.
Some reasons why a particular publication might be regarded as important:
*Topic creator – A publication that created a new topic
*Breakthrough – A publication that changed scientific knowledge significantly
*Influence – A publication which has significantly influenced the world or has had a massive impact on the teaching of mathematics.
Among published compilations of important publications in mathematics are ''Landmark writings in Western mathematics 1640–1940'' by
Ivor Grattan-Guinness
Ivor Owen Grattan-Guinness (23 June 1941 – 12 December 2014) was a historian of mathematics and logic.
Life
Grattan-Guinness was born in Bakewell, England; his father was a mathematics teacher and educational administrator. He gained his bac ...
and ''A Source Book in Mathematics'' by
David Eugene Smith
David Eugene Smith (January 21, 1860 – July 29, 1944) was an American mathematician, educator, and editor.
Education and career
David Eugene Smith is considered one of the founders of the field of mathematics education. Smith was born in Cortl ...
.
Algebra
Theory of equations
In algebra, the theory of equations is the study of algebraic equations (also called "polynomial equations"), which are equations defined by a polynomial. The main problem of the theory of equations was to know when an algebraic equation has an ...
''
Baudhayana
The (Sanskrit: बौधायन) are a group of Vedic Sanskrit texts which cover dharma, daily ritual, mathematics and is one of the oldest Dharma-related texts of Hinduism that have survived into the modern age from the 1st-millennium BCE. Th ...
Baudhayana
The (Sanskrit: बौधायन) are a group of Vedic Sanskrit texts which cover dharma, daily ritual, mathematics and is one of the oldest Dharma-related texts of Hinduism that have survived into the modern age from the 1st-millennium BCE. Th ...
(8th century BCE)
Believed to have been written around the 8th century BCE, this is one of the oldest mathematical texts. It laid the foundations of
Indian mathematics
Indian mathematics emerged in the Indian subcontinent from 1200 BCE until the end of the 18th century. In the classical period of Indian mathematics (400 CE to 1200 CE), important contributions were made by scholars like Aryabhata, Brahmagupta ...
and was influential in
South Asia
South Asia is the southern subregion of Asia, which is defined in both geographical and ethno-cultural terms. The region consists of the countries of Afghanistan, Bangladesh, Bhutan, India, Maldives, Nepal, Pakistan, and Sri Lanka.;;;;;;;; ...
and its surrounding regions, and perhaps even Greece. Though this was primarily a geometrical text, it also contained some important algebraic developments, including the earliest list of Pythagorean triples discovered algebraically, geometric solutions of linear equations, the earliest use of quadratic equations of the forms ax2 = c and ax2 + bx = c, and integral solutions of simultaneous
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a c ...
s with up to four unknowns.
''
The Nine Chapters on the Mathematical Art
''The Nine Chapters on the Mathematical Art'' () is a Chinese mathematics book, composed by several generations of scholars from the 10th–2nd century BCE, its latest stage being from the 2nd century CE. This book is one of the earliest sur ...
''
* ''
The Nine Chapters on the Mathematical Art
''The Nine Chapters on the Mathematical Art'' () is a Chinese mathematics book, composed by several generations of scholars from the 10th–2nd century BCE, its latest stage being from the 2nd century CE. This book is one of the earliest sur ...
'' from the 10th–2nd century BCE.
Contains the earliest description of
Gaussian elimination
In mathematics, Gaussian elimination, also known as row reduction, is an algorithm for solving systems of linear equations. It consists of a sequence of operations performed on the corresponding matrix of coefficients. This method can also be used ...
for solving
system of linear equations, it also contains method for finding square root and cubic root.
''
Haidao Suanjing
''Haidao Suanjing'' (; ''The Sea Island Mathematical Manual'') was written by the Chinese mathematician Liu Hui of the Three Kingdoms era (220–280) as an extension of chapter 9 of ''The Nine Chapters on the Mathematical Art''.
L. van. He ...
''
*
Liu Hui
Liu Hui () was a Chinese mathematician who published a commentary in 263 CE on ''Jiu Zhang Suan Shu (The Nine Chapters on the Mathematical Art).'' He was a descendant of the Marquis of Zixiang of the Eastern Han dynasty and lived in the state o ...
(220-280 CE)
Contains the application of right angle triangles for survey of depth or height of distant objects.
''
Sunzi Suanjing
''Sunzi Suanjing'' () was a mathematical treatise written during 3rd to 5th centuries AD which was listed as one of the Ten Computational Canons during the Tang dynasty. The specific identity of its author Sunzi (lit. "Master Sun") is still ...
''
*Sunzi (5th century CE)
Contains the earliest description of
Chinese remainder theorem
In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer ''n'' by several integers, then one can determine uniquely the remainder of the division of ''n'' by the product of thes ...
.
''
Aryabhatiya
''Aryabhatiya'' (IAST: ') or ''Aryabhatiyam'' ('), a Sanskrit astronomical treatise, is the ''magnum opus'' and only known surviving work of the 5th century Indian mathematician Aryabhata. Philosopher of astronomy Roger Billard estimates that th ...
''
*
Aryabhata
Aryabhata (ISO: ) or Aryabhata I (476–550 CE) was an Indian mathematician and astronomer of the classical age of Indian mathematics and Indian astronomy. He flourished in the Gupta Era and produced works such as the ''Aryabhatiya'' (which ...
(499 CE)
Aryabhata introduced the method known as "Modus Indorum" or the method of the Indians that has become our algebra today. This algebra came along with the Hindu Number system to Arabia and then migrated to Europe. The text contains 33 verses covering mensuration (kṣetra vyāvahāra), arithmetic and geometric progressions, gnomon / shadows (shanku-chhAyA), simple, quadratic, simultaneous, and indeterminate equations. It also gave the modern standard algorithm for solving first-order diophantine equations.
''
Jigu Suanjing
''Jigu suanjing'' ( zh, 緝古算經, ''Continuation of Ancient Mathematics'') was the work of early Tang dynasty calendarist and mathematician Wang Xiaotong, written some time before the year 626, when he presented his work to the Emperor. ''Jig ...
''
Jigu Suanjing
''Jigu suanjing'' ( zh, 緝古算經, ''Continuation of Ancient Mathematics'') was the work of early Tang dynasty calendarist and mathematician Wang Xiaotong, written some time before the year 626, when he presented his work to the Emperor. ''Jig ...
(626 CE)
This book by Tang dynasty mathematician Wang Xiaotong contains the world's earliest third order equation.
''
Brāhmasphuṭasiddhānta
The ''Brāhmasphuṭasiddhānta'' ("Correctly Established Doctrine of Brahma", abbreviated BSS)
is the main work of Brahmagupta, written c. 628. This text of mathematical astronomy contains significant mathematical content, including a good unders ...
''
*
Brahmagupta
Brahmagupta ( – ) was an Indian mathematician and astronomer. He is the author of two early works on mathematics and astronomy: the ''Brāhmasphuṭasiddhānta'' (BSS, "correctly established doctrine of Brahma", dated 628), a theoretical trea ...
(628 CE)
Contained rules for manipulating both negative and positive numbers, rules for dealing the number zero, a method for computing square roots, and general methods of solving linear and some quadratic equations, solution to Pell's equation.
Muhammad ibn Mūsā al-Khwārizmī
Muḥammad ibn Mūsā al-Khwārizmī ( ar, محمد بن موسى الخوارزمي, Muḥammad ibn Musā al-Khwārazmi; ), or al-Khwarizmi, was a Persians, Persian polymath from Khwarazm, who produced vastly influential works in Mathematics ...
(820 CE)
The first book on the systematic
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 a ...
ic solutions of
linear
Linearity is the property of a mathematical relationship (''function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear r ...
and
quadratic equation
In algebra, a quadratic equation () is any equation that can be rearranged in standard form as
ax^2 + bx + c = 0\,,
where represents an unknown (mathematics), unknown value, and , , and represent known numbers, where . (If and then the equati ...
s by the
Persian
Persian may refer to:
* People and things from Iran, historically called ''Persia'' in the English language
** Persians, the majority ethnic group in Iran, not to be conflated with the Iranic peoples
** Persian language, an Iranian language of the ...
scholar
Muhammad ibn Mūsā al-Khwārizmī
Muḥammad ibn Mūsā al-Khwārizmī ( ar, محمد بن موسى الخوارزمي, Muḥammad ibn Musā al-Khwārazmi; ), or al-Khwarizmi, was a Persians, Persian polymath from Khwarazm, who produced vastly influential works in Mathematics ...
. The book is considered to be the foundation of modern
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 a ...
and
Islamic mathematics
Mathematics during the Golden Age of Islam, especially during the 9th and 10th centuries, was built on Greek mathematics (Euclid, Archimedes, Apollonius) and Indian mathematics (Aryabhata, Brahmagupta). Important progress was made, such as full ...
. The word "algebra" itself is derived from the ''al-Jabr'' in the title of the book.
''
Līlāvatī
''Līlāvatī'' is Indian mathematician Bhāskara II's treatise on mathematics, written in 1150 AD. It is the first volume of his main work, the ''Siddhānta Shiromani'', alongside the ''Bijaganita'', the ''Grahaganita'' and the ''Golādhyāya' ...
'', ''
Siddhānta Shiromani
''Siddhānta Śiromaṇi'' (Sanskrit: सिद्धान्त शिरोमणि for "Crown of treatises") is the major treatise of Indian mathematician Bhāskara II. He wrote the ''Siddhānta Śiromaṇi'' in 1150 when he was 36 years old ...
'' and ''
Bijaganita
''Bijaganita'' ( IAST: ') was treatise on algebra by the Indian mathematician Bhāskara II. It is the second volume of his main work '' Siddhānta Shiromani (''"Crown of treatises") alongside '' Lilāvati'', ''Grahaganita'' and ''Golādhyāya''.< ...
''
One of the major treatises on mathematics by
Bhāskara II
Bhāskara II (c. 1114–1185), also known as Bhāskarāchārya ("Bhāskara, the teacher"), and as Bhāskara II to avoid confusion with Bhāskara I, was an Indian mathematician and astronomer. From verses, in his main work, Siddhānta Shiroman ...
provides the solution for indeterminate equations of 1st and 2nd order.
''
Yigu yanduan
''Yigu yanduan'' (益古演段 Old Mathematics in Expanded Sections) is a 13th-century mathematical work by Yuan dynasty mathematician Li Zhi.
Overview
''Yigu yanduan'' was based on Northern Song mathematician Jiang Zhou's (蒋周) ''Yigu Ji ...
''
*Liu Yi (12th century)
Contains the earliest invention of 4th order polynomial equation.
''
Mathematical Treatise in Nine Sections
The ''Mathematical Treatise in Nine Sections'' () is a mathematical text written by Chinese Southern Song dynasty mathematician Qin Jiushao in the year 1247. The mathematical text has a wide range of topics and is taken from all aspects of the ...
''
*
Qin Jiushao
Qin Jiushao (, ca. 1202–1261), courtesy name Daogu (道古), was a Chinese mathematician, meteorologist, inventor, politician, and writer. He is credited for discovering Horner's method as well as inventing Tianchi basins, a type of rain gaug ...
(1247)
This 13th century book contains the earliest complete solution of 19th century
Horner's method
In mathematics and computer science, Horner's method (or Horner's scheme) is an algorithm for polynomial evaluation. Although named after William George Horner, this method is much older, as it has been attributed to Joseph-Louis Lagrange by Hor ...
of solving
high order polynomial equations (up to 10th order). It also contains a complete solution of
Chinese remainder theorem
In mathematics, the Chinese remainder theorem states that if one knows the remainders of the Euclidean division of an integer ''n'' by several integers, then one can determine uniquely the remainder of the division of ''n'' by the product of thes ...
, which predates
Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
and
Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
by several centuries.
''
Ceyuan haijing
''Ceyuan haijing'' () is a treatise on solving geometry problems with the algebra of Tian yuan shu written by the mathematician Li Zhi in 1248 in the time of the Mongol Empire. It is a collection of 692 formula and 170 problems, all derived from ...
''
*
Li Zhi Li Zhi may refer to:
*Emperor Gaozong of Tang (628–683), named Li Zhi, Emperor of China
*Li Ye (mathematician) (1192–1279), Chinese mathematician and scholar, birth name Li Zhi
*Li Zhi (philosopher) (1527–1602), Chinese philosopher from the M ...
(1248)
Contains the application of high order polynomial equation in solving complex geometry problems.
''
Jade Mirror of the Four Unknowns
''Jade Mirror of the Four Unknowns'', ''Siyuan yujian'' (), also referred to as ''Jade Mirror of the Four Origins'', is a 1303 mathematical monograph by Yuan dynasty mathematician Zhu Shijie. Zhu advanced Chinese algebra with this Magnum opus.
...
''
*
Zhu Shijie
Zhu Shijie (, 1249–1314), courtesy name Hanqing (), pseudonym Songting (), was a Chinese mathematician and writer. He was a Chinese mathematician during the Yuan Dynasty. Zhu was born close to today's Beijing. Two of his mathematical works ha ...
(1303)
Contains the method of establishing system of high order polynomial equations of up to four unknowns.
Gerolamo Cardano
Gerolamo Cardano (; also Girolamo or Geronimo; french: link=no, Jérôme Cardan; la, Hieronymus Cardanus; 24 September 1501– 21 September 1576) was an Italian polymath, whose interests and proficiencies ranged through those of mathematician, ...
(1545)
Otherwise known as ''The Great Art'', provided the first published methods for solving cubic and
quartic equation
In mathematics, a quartic equation is one which can be expressed as a ''quartic function'' equaling zero. The general form of a quartic equation is
:ax^4+bx^3+cx^2+dx+e=0 \,
where ''a'' ≠ 0.
The quartic is the highest order polynomi ...
s (due to
Scipione del Ferro
Scipione del Ferro (6 February 1465 – 5 November 1526) was an Italian mathematician who first discovered a method to solve the depressed cubic equation.
Life
Scipione del Ferro was born in Bologna, in northern Italy, to Floriano and Filip ...
,
Niccolò Fontana Tartaglia
Niccolò Fontana Tartaglia (; 1499/1500 – 13 December 1557) was an Italian mathematician, engineer (designing fortifications), a surveyor (of topography, seeking the best means of defense or offense) and a bookkeeper from the then Republi ...
, and
Lodovico Ferrari
Lodovico de Ferrari (2 February 1522 – 5 October 1565) was an Italian mathematician.
Biography
Born in Bologna, Lodovico's grandfather, Bartolomeo Ferrari, was forced out of Milan to Bologna. Lodovico settled in Bologna, and he began his c ...
), and exhibited the first published calculations involving non-real
complex numbers
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form a ...
.
''Vollständige Anleitung zur Algebra''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1770)
Also known as
Elements of Algebra
''Elements of Algebra'' is an elementary mathematics textbook written by mathematician Leonhard Euler around 1765 in German. It was first published in Russian as "''Universal Arithmetic''" (''Универсальная арифметика''), tw ...
, Euler's textbook on elementary algebra is one of the first to set out algebra in the modern form we would recognize today. The first volume deals with determinate equations, while the second part deals with
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a c ...
s. The last section contains a proof of
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 k ...
for the case ''n'' = 3, making some valid assumptions regarding that Euler did not prove.
''Demonstratio nova theorematis omnem functionem algebraicam rationalem integram unius variabilis in factores reales primi vel secundi gradus resolvi posse''
*
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
(1799)
Gauss' doctoral dissertation, which contained a widely accepted (at the time) but incomplete proof of 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 ...
.
Abstract algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
Group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
=''Réflexions sur la résolution algébrique des équations''
=
*
Joseph Louis Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaLagrange resolvent
In Galois theory, a discipline within the field of abstract algebra, a resolvent for a permutation group ''G'' is a polynomial whose coefficients depend polynomially on the coefficients of a given polynomial ''p'' and has, roughly speaking, a rati ...
of a polynomial equation are tied to permutations of the roots of the original equation, laying a more general foundation for what had previously been an ad hoc analysis and helping motivate the later development of the theory of
permutation group
In mathematics, a permutation group is a group ''G'' whose elements are permutations of a given set ''M'' and whose group operation is the composition of permutations in ''G'' (which are thought of as bijective functions from the set ''M'' to it ...
s,
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ...
, and
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 ...
. The Lagrange resolvent also introduced the
discrete Fourier transform
In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced samples of a function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex- ...
of order 3.
''Articles Publiés par Galois dans les Annales de Mathématiques''
* Journal de Mathematiques pures et Appliquées, II (1846)
Posthumous publication of the mathematical manuscripts of
É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, ...
by
Joseph Liouville
Joseph Liouville (; ; 24 March 1809 – 8 September 1882) was a French mathematician and engineer.
Life and work
He was born in Saint-Omer in France on 24 March 1809. His parents were Claude-Joseph Liouville (an army officer) and Thérèse ...
. Included are Galois' papers ''Mémoire sur les conditions de résolubilité des équations par radicaux'' and ''Des équations primitives qui sont solubles par radicaux''.
''Traité des substitutions et des équations algébriques''
*
Camille Jordan
Marie Ennemond Camille Jordan (; 5 January 1838 – 22 January 1922) was a French mathematician, known both for his foundational work in group theory and for his influential ''Cours d'analyse''.
Biography
Jordan was born in Lyon and educated at ...
(1870)
Online version:'' Online version
Traité des substitutions et des équations algébriques (Treatise on Substitutions and Algebraic Equations). The first book on group theory, giving a then-comprehensive study of permutation groups and Galois theory. In this book, Jordan introduced the notion of a
simple group
SIMPLE Group Limited is a conglomeration of separately run companies that each has its core area in International Consulting. The core business areas are Legal Services, Fiduciary Activities, Banking Intermediation and Corporate Service.
The d ...
and
epimorphism
In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism ''f'' : ''X'' → ''Y'' that is right-cancellative in the sense that, for all objects ''Z'' and all morphisms ,
: g_1 \circ f = g_2 \circ f \ ...
(which he called ''l'isomorphisme mériédrique''), proved part of the
Jordan–Hölder theorem In abstract algebra, a composition series provides a way to break up an algebraic structure, such as a group or a module, into simple pieces. The need for considering composition series in the context of modules arises from the fact that many natura ...
, and discussed matrix groups over finite fields as well as the
Jordan normal form
In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF),
is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to som ...
.
''Theorie der Transformationsgruppen''
*
Sophus Lie
Marius Sophus Lie ( ; ; 17 December 1842 – 18 February 1899) was a Norwegian mathematician. He largely created the theory of continuous symmetry and applied it to the study of geometry and differential equations.
Life and career
Marius Sophu ...
, Friedrich Engel (1888–1893).
Publication data: 3 volumes, B.G. Teubner, Verlagsgesellschaft, mbH, Leipzig, 1888–1893. Volume 1 Volume 2 Volume 3
The first comprehensive work on
transformation group
In mathematics, the automorphism group of an object ''X'' is the group consisting of automorphisms of ''X'' under composition of morphisms. For example, if ''X'' is a finite-dimensional vector space, then the automorphism group of ''X'' is the g ...
s, serving as the foundation for the modern theory of
Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
s.
''Solvability of groups of odd order''
*
Walter Feit
Walter Feit (October 26, 1930 – July 29, 2004) was an Austrian-born American mathematician who worked in finite group theory and representation theory. His contributions provided elementary infrastructure used in algebra, geometry, topology, n ...
and John Thompson (1960)
Description: Gave a complete proof of the solvability of finite groups of odd order, establishing the long-standing Burnside conjecture that all finite non-abelian simple groups are of even order. Many of the original techniques used in this paper were used in the eventual
classification of finite simple groups
In mathematics, the classification of the finite simple groups is a result of group theory stating that every finite simple group is either cyclic, or alternating, or it belongs to a broad infinite class called the groups of Lie type, or else it ...
.
Homological algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precurs ...
''Homological Algebra''
*
Henri Cartan
Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology.
He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of co ...
and
Samuel Eilenberg
Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra.
Early life and education
He was born in Warsaw, Kingdom of Poland to a ...
(1956)
Provided the first fully worked out treatment of abstract homological algebra, unifying previously disparate presentations of homology and cohomology for
associative algebra
In mathematics, an associative algebra ''A'' is an algebraic structure with compatible operations of addition, multiplication (assumed to be associative), and a scalar multiplication by elements in some field ''K''. The addition and multiplic ...
s,
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
s, and
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
* Alexander Grothendieck (1957)
Often referred to as the "Tôhoku paper", it revolutionized
homological algebra
Homological algebra is the branch of mathematics that studies homology (mathematics), homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology (a precurs ...
by introducing
abelian categories
In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of abel ...
and providing a general framework for Cartan and Eilenberg's notion of
derived functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.
Motivation
It was noted in vari ...
s.
Algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
''Theorie der Abelschen Functionen''
*
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
(1857)
Publication data: ''Journal für die Reine und Angewandte Mathematik''
Developed the concept of Riemann surfaces and their topological properties beyond Riemann's 1851 thesis work, proved an index theorem for the genus (the original formulation of the
Riemann–Hurwitz formula In mathematics, the Riemann–Hurwitz formula, named after Bernhard Riemann and Adolf Hurwitz, describes the relationship of the Euler characteristics of two surfaces when one is a ''ramified covering'' of the other. It therefore connects ramificat ...
), proved the Riemann inequality for the dimension of the space of meromorphic functions with prescribed poles (the original formulation of 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 ...
), discussed birational transformations of a given curve and the dimension of the corresponding moduli space of inequivalent curves of a given genus, and solved more general inversion problems than those investigated by
Abel
Abel ''Hábel''; ar, هابيل, Hābīl is a Biblical figure in the Book of Genesis within Abrahamic religions. He was the younger brother of Cain, and the younger son of Adam and Eve, the first couple in Biblical history. He was a shepher ...
and
Jacobi Jacobi may refer to:
* People with the surname Jacobi (surname), Jacobi
Mathematics:
* Jacobi sum, a type of character sum
* Jacobi method, a method for determining the solutions of a diagonally dominant system of linear equations
* Jacobi eigenva ...
.
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
once wrote that this paper "''is one of the greatest pieces of mathematics that has ever been written; there is not a single word in it that is not of consequence.''"
''Faisceaux Algébriques Cohérents''
*
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
Publication data: ''Annals of Mathematics'', 1955
''FAC'', as it is usually called, was foundational for the use of sheaves in algebraic geometry, extending beyond the case of
complex manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic.
The term complex manifold is variously used to mean a com ...
s. Serre introduced
Čech cohomology
In mathematics, specifically algebraic topology, Čech cohomology is a cohomology theory based on the intersection properties of open covers of a topological space. It is named for the mathematician Eduard Čech.
Motivation
Let ''X'' be a topolo ...
of sheaves in this paper, and, despite some technical deficiencies, revolutionized formulations of algebraic geometry. For example, the
long exact sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next.
Definition
In the context o ...
in sheaf cohomology allows one to show that some surjective maps of sheaves induce surjective maps on sections; specifically, these are the maps whose kernel (as a sheaf) has a vanishing first cohomology group. The dimension of a vector space of sections of a
coherent sheaf
In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with refe ...
is finite, in
projective geometry
In mathematics, projective geometry is the study of geometric properties that are invariant with respect to projective transformations. This means that, compared to elementary Euclidean geometry, projective geometry has a different setting, pro ...
, and such dimensions include many discrete invariants of varieties, for example
Hodge number
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every cohom ...
s. While Grothendieck's
derived functor
In mathematics, certain functors may be ''derived'' to obtain other functors closely related to the original ones. This operation, while fairly abstract, unifies a number of constructions throughout mathematics.
Motivation
It was noted in vari ...
cohomology has replaced Čech cohomology for technical reasons, actual calculations, such as of the cohomology of projective space, are usually carried out by Čech techniques, and for this reason Serre's paper remains important.
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
(1956)
In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
,
algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
and
analytic geometry
In classical mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.
Analytic geometry is used in physics and engineerin ...
are closely related subjects, where ''analytic geometry'' is the theory of
complex manifold
In differential geometry and complex geometry, a complex manifold is a manifold with an atlas of charts to the open unit disc in \mathbb^n, such that the transition maps are holomorphic.
The term complex manifold is variously used to mean a com ...
s and the more general
analytic space
An analytic space is a generalization of an analytic manifold that allows singularities. An analytic space is a space that is locally the same as an analytic variety. They are prominent in the study of several complex variables, but they also a ...
s defined locally by the vanishing of
analytic function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex an ...
s of
several complex variables
The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variable ...
. A (mathematical) theory of the relationship between the two was put in place during the early part of the 1950s, as part of the business of laying the foundations of algebraic geometry to include, for example, techniques from
Hodge theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold ''M'' using partial differential equations. The key observation is that, given a Riemannian metric on ''M'', every cohom ...
. (''NB'' While
analytic geometry
In classical mathematics, analytic geometry, also known as coordinate geometry or Cartesian geometry, is the study of geometry using a coordinate system. This contrasts with synthetic geometry.
Analytic geometry is used in physics and engineerin ...
as use of Cartesian coordinates is also in a sense included in the scope of algebraic geometry, that is not the topic being discussed in this article.) The major paper consolidating the theory was ''Géometrie Algébrique et Géométrie Analytique'' by Serre, now usually referred to as ''GAGA''. A ''GAGA-style result'' would now mean any theorem of comparison, allowing passage between a category of objects from algebraic geometry, and their morphisms, and a well-defined subcategory of analytic geometry objects and holomorphic mappings.
''Le théorème de Riemann–Roch, d'après A. Grothendieck''
*
Armand Borel
Armand Borel (21 May 1923 – 11 August 2003) was a Swiss mathematician, born in La Chaux-de-Fonds, and was a permanent professor at the Institute for Advanced Study in Princeton, New Jersey, United States from 1957 to 1993. He worked in alg ...
,
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
(1958)
Borel and Serre's exposition of Grothendieck's version of 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 ...
, published after Grothendieck made it clear that he was not interested in writing up his own result. Grothendieck reinterpreted both sides of the formula that
Hirzebruch
Friedrich Ernst Peter Hirzebruch ForMemRS (17 October 1927 – 27 May 2012) was a German mathematician, working in the fields of topology, complex manifolds and algebraic geometry, and a leading figure in his generation. He has been described as ...
proved in 1953 in the framework of
morphisms
In mathematics, particularly in category theory, a morphism is a structure-preserving map from one mathematical structure to another one of the same type. The notion of morphism recurs in much of contemporary mathematics. In set theory, morphisms a ...
between varieties, resulting in a sweeping generalization. In his proof, Grothendieck broke new ground with his concept of
Grothendieck group
In mathematics, the Grothendieck group, or group of differences, of a commutative monoid is a certain abelian group. This abelian group is constructed from in the most universal way, in the sense that any abelian group containing a homomorphic i ...
s, which led to the development of
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, ...
.
''
Éléments de géométrie algébrique
The ''Éléments de géométrie algébrique'' ("Elements of algebraic geometry, Algebraic Geometry") by Alexander Grothendieck (assisted by Jean Dieudonné), or ''EGA'' for short, is a rigorous treatise, in French language, French, on algebraic ge ...
Jean Dieudonné
Jean Alexandre Eugène Dieudonné (; 1 July 1906 – 29 November 1992) was a French mathematician, notable for research in abstract algebra, algebraic geometry, and functional analysis, for close involvement with the Nicolas Bourbaki pseudonymo ...
, this is Grothendieck's exposition of his reworking of the foundations of algebraic geometry. It has become the most important foundational work in modern algebraic geometry. The approach expounded in EGA, as these books are known, transformed the field and led to monumental advances.
* Alexander Grothendieck et al.
These seminar notes on Grothendieck's reworking of the foundations of algebraic geometry report on work done at IHÉS starting in the 1960s. SGA 1 dates from the seminars of 1960–1961, and the last in the series, SGA 7, dates from 1967 to 1969. In contrast to EGA, which is intended to set foundations, SGA describes ongoing research as it unfolded in Grothendieck's seminar; as a result, it is quite difficult to read, since many of the more elementary and foundational results were relegated to EGA. One of the major results building on the results in SGA is
Pierre Deligne
Pierre René, Viscount Deligne (; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Pr ...
's proof of the last of the open
Weil conjectures
In mathematics, the Weil conjectures were highly influential proposals by . They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.
Th ...
in the early 1970s. Other authors who worked on one or several volumes of SGA include
Michel Raynaud
Michel Raynaud (; 16 June 1938 – 10 March 2018 Décès de Michel Raynaud So ...
,
Michael Artin
Michael Artin (; born 28 June 1934) is a German-American mathematician and a professor emeritus in the Massachusetts Institute of Technology mathematics department, known for his contributions to algebraic geometry.Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
,
Jean-Louis Verdier
Jean-Louis Verdier (; 2 February 1935 – 25 August 1989) was a French mathematician who worked, under the guidance of his doctoral advisor Alexander Grothendieck, on derived categories and Verdier duality. He was a close collaborator of Grothe ...
,
Pierre Deligne
Pierre René, Viscount Deligne (; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Pr ...
, and
Nicholas Katz
Nicholas Michael Katz (born December 7, 1943) is an American mathematician, working in arithmetic geometry, particularly on ''p''-adic methods, monodromy and moduli problems, and number theory. He is currently a professor of Mathematics at P ...
.
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
''
Brāhmasphuṭasiddhānta
The ''Brāhmasphuṭasiddhānta'' ("Correctly Established Doctrine of Brahma", abbreviated BSS)
is the main work of Brahmagupta, written c. 628. This text of mathematical astronomy contains significant mathematical content, including a good unders ...
''
*
Brahmagupta
Brahmagupta ( – ) was an Indian mathematician and astronomer. He is the author of two early works on mathematics and astronomy: the ''Brāhmasphuṭasiddhānta'' (BSS, "correctly established doctrine of Brahma", dated 628), a theoretical trea ...
(628)
Brahmagupta's
Brāhmasphuṭasiddhānta
The ''Brāhmasphuṭasiddhānta'' ("Correctly Established Doctrine of Brahma", abbreviated BSS)
is the main work of Brahmagupta, written c. 628. This text of mathematical astronomy contains significant mathematical content, including a good unders ...
is the first book that mentions zero as a number, hence Brahmagupta is considered the first to formulate the concept of zero. The current system of the four fundamental operations (addition, subtraction, multiplication and division) based on the Hindu-Arabic number system also first appeared in Brahmasphutasiddhanta. It was also one of the first texts to provide concrete ideas on positive and negative numbers.
''De fractionibus continuis dissertatio''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1744)
First presented in 1737, this paper provided the first then-comprehensive account of the properties of
continued fractions
In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integer pa ...
. It also contains the first proof that the number e is irrational.
''Recherches d'Arithmétique''
*
Joseph Louis Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangiabinary 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 to handle the general problem of when an integer is representable by the form . This included a reduction theory for binary quadratic forms, where he proved that every form is equivalent to a certain canonically chosen reduced form.
''
Disquisitiones Arithmeticae
The (Latin for "Arithmetical Investigations") is a textbook of number theory written in Latin by Carl Friedrich Gauss in 1798 when Gauss was 21 and first published in 1801 when he was 24. It is notable for having had a revolutionary impact on th ...
''
*
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
(1801)
The ''
Disquisitiones Arithmeticae
The (Latin for "Arithmetical Investigations") is a textbook of number theory written in Latin by Carl Friedrich Gauss in 1798 when Gauss was 21 and first published in 1801 when he was 24. It is notable for having had a revolutionary impact on th ...
'' is a profound and masterful book on
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
written by
German
German(s) may refer to:
* Germany (of or related to)
**Germania (historical use)
* Germans, citizens of Germany, people of German ancestry, or native speakers of the German language
** For citizens of Germany, see also German nationality law
**Ger ...
mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change.
History
On ...
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
and first published in 1801 when Gauss was 24. In this book Gauss brings together results in number theory obtained by mathematicians such as
Fermat
Pierre de Fermat (; between 31 October and 6 December 1607 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he i ...
,
Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
,
Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaLegendre and adds many important new results of his own. Among his contributions was the first complete proof known of the
Fundamental theorem of arithmetic
In mathematics, the fundamental theorem of arithmetic, also called the unique factorization theorem and prime factorization theorem, states that every integer greater than 1 can be represented uniquely as a product of prime numbers, up to the ord ...
, the first two published proofs of the law of
quadratic reciprocity
In number theory, the law of quadratic reciprocity is a theorem about modular arithmetic that gives conditions for the solvability of quadratic equations modulo prime numbers. Due to its subtlety, it has many formulations, but the most standard st ...
, a deep investigation 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 going beyond Lagrange's work in ''Recherches d'Arithmétique'', a first appearance of Gauss sums,
cyclotomy
In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power . Roots of unity are used in many branches of mathematics, and are especially important in ...
, and the theory of
constructible polygon
In mathematics, a constructible polygon is a regular polygon that can be constructed with compass and straightedge. For example, a regular pentagon is constructible with compass and straightedge while a regular heptagon is not. There are infinite ...
s with a particular application to the constructibility of the regular 17-gon. Of note, in section V, article 303 of Disquisitiones, Gauss summarized his calculations of class numbers of imaginary quadratic number fields, and in fact found all imaginary quadratic number fields of class numbers 1, 2, and 3 (confirmed in 1986) as he had
conjectured
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 19 ...
. In section VII, article 358, Gauss proved what can be interpreted as the first non-trivial case of the Riemann Hypothesis for curves over finite fields (the Hasse–Weil theorem).
"Beweis des Satzes, daß jede unbegrenzte arithmetische Progression, deren erstes Glied und Differenz ganze Zahlen ohne gemeinschaftlichen Factor sind, unendlich viele Primzahlen enthält"
*
Peter Gustav Lejeune Dirichlet
Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician who made deep contributions to number theory (including creating the field of analytic number theory), and to the theory of Fourier series and ...
(1837)
Pioneering paper in
analytic number theory
In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Diric ...
, which introduced
Dirichlet characters
In analytic number theory and related branches of mathematics, a complex-valued arithmetic function \chi:\mathbb\rightarrow\mathbb is a Dirichlet character of modulus m (where m is a positive integer) if for all integers a and b:
:1) \ch ...
and their
L-functions
In mathematics, an ''L''-function is a meromorphic function on the complex plane, associated to one out of several categories of mathematical objects. An ''L''-series is a Dirichlet series, usually convergent on a half-plane, that may give ri ...
to establish
Dirichlet's theorem on arithmetic progressions
In number theory, Dirichlet's theorem, also called the Dirichlet prime number theorem, states that for any two positive coprime integers ''a'' and ''d'', there are infinitely many primes of the form ''a'' + ''nd'', where ''n'' is als ...
. In subsequent publications, Dirichlet used these tools to determine, among other things, the class number for quadratic forms.
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
(1859)
"Über die Anzahl der Primzahlen unter einer gegebenen Grösse" (or "On the Number of Primes Less Than a Given Magnitude") is a seminal 8-page paper by Bernhard Riemann published in the November 1859 edition of the ''Monthly Reports of the Berlin Academy''. Although it is the only paper he ever published on number theory, it contains ideas which influenced dozens of researchers during the late 19th century and up to the present day. The paper consists primarily of definitions, heuristic arguments, sketches of proofs, and the application of powerful analytic methods; all of these have become essential concepts and tools of modern
analytic number theory
In mathematics, analytic number theory is a branch of number theory that uses methods from mathematical analysis to solve problems about the integers. It is often said to have begun with Peter Gustav Lejeune Dirichlet's 1837 introduction of Diric ...
. It also contains the famous
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 ...
, one of the most important open problems in mathematics.
''
Vorlesungen über Zahlentheorie
(German for ''Lectures on Number Theory'') is the name of several different textbooks of number theory. The best known was written by Peter Gustav Lejeune Dirichlet and Richard Dedekind, and published in 1863. Others were written by Leopold Kron ...
''
*
Peter Gustav Lejeune Dirichlet
Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician who made deep contributions to number theory (including creating the field of analytic number theory), and to the theory of Fourier series and ...
and
Richard Dedekind
Julius Wilhelm Richard Dedekind (6 October 1831 – 12 February 1916) was a German mathematician who made important contributions to number theory, abstract algebra (particularly ring theory), and
the axiomatic foundations of arithmetic. His ...
''
Vorlesungen über Zahlentheorie
(German for ''Lectures on Number Theory'') is the name of several different textbooks of number theory. The best known was written by Peter Gustav Lejeune Dirichlet and Richard Dedekind, and published in 1863. Others were written by Leopold Kron ...
'' (''Lectures on Number Theory'') is a textbook of
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
written by
German
German(s) may refer to:
* Germany (of or related to)
**Germania (historical use)
* Germans, citizens of Germany, people of German ancestry, or native speakers of the German language
** For citizens of Germany, see also German nationality law
**Ger ...
mathematicians P. G. Lejeune Dirichlet and R. Dedekind, and published in 1863.
The ''Vorlesungen'' can be seen as a watershed between the classical number theory of
Fermat
Pierre de Fermat (; between 31 October and 6 December 1607 – 12 January 1665) was a French mathematician who is given credit for early developments that led to infinitesimal calculus, including his technique of adequality. In particular, he i ...
,
Jacobi Jacobi may refer to:
* People with the surname Jacobi (surname), Jacobi
Mathematics:
* Jacobi sum, a type of character sum
* Jacobi method, a method for determining the solutions of a diagonally dominant system of linear equations
* Jacobi eigenva ...
and
Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
, and the modern number theory of Dedekind,
Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
and
Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many a ...
. Dirichlet does not explicitly recognise the concept of the
group
A group is a number of persons or things that are located, gathered, or classed together.
Groups of people
* Cultural group, a group whose members share the same cultural identity
* Ethnic group, a group whose members share the same ethnic iden ...
that is central to
modern algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include group (mathematics), groups, ring (mathematics), rings, field (mathematics), fields, module (mathe ...
, but many of his proofs show an implicit understanding of group theory.
''
Zahlbericht
In mathematics, the ''Zahlbericht'' (number report) was a report on algebraic number theory by .
History
In 1893 the German mathematical society invited Hilbert and Minkowski to write reports on the theory of numbers. They agreed that Minkowski w ...
''
*
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many a ...
(1897)
Unified and made accessible many of the developments in
algebraic number theory
Algebraic number theory is a branch of number theory that uses the techniques of abstract algebra to study the integers, rational numbers, and their generalizations. Number-theoretic questions are expressed in terms of properties of algebraic ob ...
made during the nineteenth century. Although criticized by
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
(who stated "''more than half of his famous Zahlbericht is little more than an account of Kummer's number-theoretical work, with inessential improvements''") and
Emmy Noether
Amalie Emmy NoetherEmmy is the ''Rufname'', the second of two official given names, intended for daily use. Cf. for example the résumé submitted by Noether to Erlangen University in 1907 (Erlangen University archive, ''Promotionsakt Emmy Noethe ...
, it was highly influential for many years following its publication.
''Fourier Analysis in Number Fields and Hecke's Zeta-Functions''
*
John Tate John Tate may refer to:
* John Tate (mathematician) (1925–2019), American mathematician
* John Torrence Tate Sr. (1889–1950), American physicist
* John Tate (Australian politician) (1895–1977)
* John Tate (actor) (1915–1979), Australian act ...
(1950)
Generally referred to simply as ''
Tate's Thesis
In number theory, Tate's thesis is the 1950 thesis, PhD thesis of completed under the supervision of Emil Artin at Princeton University. In it, Tate used a translation invariant integration on the locally compact group of ideles to lift the zeta f ...
'', Tate's
Princeton
Princeton University is a private research university in Princeton, New Jersey. Founded in 1746 in Elizabeth as the College of New Jersey, Princeton is the fourth-oldest institution of higher education in the United States and one of the nine ...
PhD thesis, under
Emil Artin
Emil Artin (; March 3, 1898 – December 20, 1962) was an Austrian mathematician of Armenian descent.
Artin was one of the leading mathematicians of the twentieth century. He is best known for his work on algebraic number theory, contributing lar ...
, is a reworking of
Erich Hecke
Erich Hecke (20 September 1887 – 13 February 1947) was a German mathematician known for his work in number theory and the theory of modular forms.
Biography
Hecke was born in Buk, Province of Posen, German Empire (now Poznań, Poland). He ...
's theory of zeta- and ''L''-functions in terms of
Fourier analysis
In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
on the adeles. The introduction of these methods into number theory made it possible to formulate extensions of Hecke's results to more general ''L''-functions such as those arising from
automorphic form
In harmonic analysis and number theory, an automorphic form is a well-behaved function from a topological group ''G'' to the complex numbers (or complex vector space) which is invariant under the action of a discrete subgroup \Gamma \subset G of ...
s.
"
Automorphic Forms on GL(2)
''Automorphic Forms on GL(2)'' is a mathematics book by where they rewrite Erich Hecke's theory of modular forms in terms of the representation theory of GL(2) over local fields and adele rings of global fields and prove the Jacquet–Langlands co ...
"
*
Hervé Jacquet
Hervé Jacquet is a French American mathematician, working in automorphic forms. He is considered one of the founders of the theory of automorphic representations and their associated L-functions, and his results play a central role in modern num ...
and
Robert Langlands
Robert Phelan Langlands, (; born October 6, 1936) is a Canadian mathematician. He is best known as the founder of the Langlands program, a vast web of conjectures and results connecting representation theory and automorphic forms to the study o ...
(1970)
This publication offers evidence towards Langlands' conjectures by reworking and expanding the classical theory of
modular form
In mathematics, a modular form is a (complex) analytic function on the upper half-plane satisfying a certain kind of functional equation with respect to the Group action (mathematics), group action of the modular group, and also satisfying a grow ...
s and their ''L''-functions through the introduction of representation theory.
"La conjecture de Weil. I."
*
Pierre Deligne
Pierre René, Viscount Deligne (; born 3 October 1944) is a Belgian mathematician. He is best known for work on the Weil conjectures, leading to a complete proof in 1973. He is the winner of the 2013 Abel Prize, 2008 Wolf Prize, 1988 Crafoord Pr ...
(1974)
Proved the Riemann hypothesis for varieties over finite fields, settling the last of the open
Weil conjectures
In mathematics, the Weil conjectures were highly influential proposals by . They led to a successful multi-decade program to prove them, in which many leading researchers developed the framework of modern algebraic geometry and number theory.
Th ...
.
"Endlichkeitssätze für abelsche Varietäten über Zahlkörpern"
*
Gerd Faltings
Gerd Faltings (; born 28 July 1954) is a German mathematician known for his work in arithmetic geometry.
Education
From 1972 to 1978, Faltings studied mathematics and physics at the University of Münster. In 1978 he received his PhD in mathema ...
(1983)
Faltings proves a collection of important results in this paper, the most famous of which is the first proof of the
Mordell conjecture
Louis Joel Mordell (28 January 1888 – 12 March 1972) was an American-born British mathematician, known for pioneering research in number theory. He was born in Philadelphia, United States, in a Jewish family of Lithuanian extraction.
Educati ...
(a conjecture dating back to 1922). Other theorems proved in this paper include an instance of the
Tate conjecture
In number theory and algebraic geometry, the Tate conjecture is a 1963 conjecture of John Tate that would describe the algebraic cycles on a variety in terms of a more computable invariant, the Galois representation on étale cohomology. The conje ...
(relating the
homomorphism
In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" ...
s between two
abelian varieties
In mathematics, particularly in algebraic geometry, complex analysis and algebraic number theory, an abelian variety is a projective algebraic variety that is also an algebraic group, i.e., has a group law that can be defined by regular function ...
over a
number field
In mathematics, an algebraic number field (or simply number field) is an extension field K of the field of rational numbers such that the field extension K / \mathbb has finite degree (and hence is an algebraic field extension).
Thus K is a f ...
to the homomorphisms between their
Tate module
In mathematics, a Tate module of an abelian group, named for John Tate, is a module constructed from an abelian group ''A''. Often, this construction is made in the following situation: ''G'' is a commutative group scheme over a field ''K'', ''K ...
s) and some finiteness results concerning abelian varieties over number fields with certain properties.
"Modular Elliptic Curves and Fermat's Last Theorem"
*
Andrew Wiles
Sir Andrew John Wiles (born 11 April 1953) is an English mathematician and a Royal Society Research Professor at the University of Oxford, specializing in number theory. He is best known for proving Fermat's Last Theorem, for which he was awar ...
(1995)
This article proceeds to prove a special case of the Shimura–Taniyama conjecture through the study of the
deformation theory
In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesim ...
of
Galois representations
In mathematics, a Galois module is a ''G''-module, with ''G'' being the Galois group of some extension of fields. The term Galois representation is frequently used when the ''G''-module is a vector space over a field or a free module over a ring i ...
. This in turn implies the famed
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 k ...
. The proof's method of identification of a
deformation ring In mathematics, a deformation ring is a ring that controls liftings of a representation of a Galois group from a finite field to a local field. In particular for any such lifting problem there is often a universal deformation ring that classifies a ...
with a
Hecke algebra
In mathematics, the Hecke algebra is the algebra generated by Hecke operators.
Properties
The algebra is a commutative ring.
In the classical elliptic modular form theory, the Hecke operators ''T'n'' with ''n'' coprime to the level acting on ...
(now referred to as an ''R=T'' theorem) to prove modularity lifting theorems has been an influential development in algebraic number theory.
''The geometry and cohomology of some simple Shimura varieties''
* Michael Harris and Richard Taylor (2001)
Harris and Taylor provide the first proof of the local Langlands conjecture for GL(''n''). As part of the proof, this monograph also makes an in depth study of the geometry and cohomology of certain Shimura varieties at primes of bad reduction.
"Le lemme fondamental pour les algèbres de Lie"
*
Ngô Bảo Châu
Ngô Bảo Châu (, born June 28, 1972) is a Vietnamese-French mathematician at the University of Chicago, best known for proving the fundamental lemma for automorphic forms (proposed by Robert Langlands and Diana Shelstad). He is the first Vie ...
(2008)
Ngô Bảo Châu proved a long-standing unsolved problem in the classical Langlands program, using methods from the Geometric Langlands program.
"Perfectoid space"
*
Peter Scholze
Peter Scholze (; born 11 December 1987) is a German mathematician known for his work in arithmetic geometry. He has been a professor at the University of Bonn since 2012 and director at the Max Planck Institute for Mathematics since 2018. He ha ...
(2012)
Peter Scholze introduced
Perfectoid space
In mathematics, perfectoid spaces are adic spaces of special kind, which occur in the study of problems of "mixed characteristic", such as local fields of characteristic zero which have residue fields of characteristic prime ''p''.
A perfecto ...
.
Analysis
''Introductio in analysin infinitorum''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1748)
The eminent historian of mathematics
Carl Boyer
Carl Benjamin Boyer (November 3, 1906 – April 26, 1976) was an American historian of sciences, and especially mathematics. Novelist David Foster Wallace called him the "Gibbon of math history". It has been written that he was one of few histori ...
once called Euler's ''
Introductio in analysin infinitorum
''Introductio in analysin infinitorum'' (Latin: ''Introduction to the Analysis of the Infinite'') is a two-volume work by Leonhard Euler which lays the foundations of mathematical analysis. Written in Latin and published in 1748, the ''Introducti ...
'' the greatest modern textbook in mathematics. Published in two volumes, this book more than any other work succeeded in establishing
analysis
Analysis ( : analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (38 ...
as a major branch of mathematics, with a focus and approach distinct from that used in geometry and algebra. Notably, Euler identified functions rather than curves to be the central focus in his book. Logarithmic, exponential, trigonometric, and transcendental functions were covered, as were expansions into partial fractions, evaluations of for a positive integer between 1 and 13, infinite series and infinite product formulas,
continued fractions
In mathematics, a continued fraction is an expression obtained through an iterative process of representing a number as the sum of its integer part and the reciprocal of another number, then writing this other number as the sum of its integer pa ...
, and
partitions
Partition may refer to:
Computing Hardware
* Disk partitioning, the division of a hard disk drive
* Memory partition, a subdivision of a computer's memory, usually for use by a single job
Software
* Partition (database), the division of a ...
of integers. In this work, Euler proved that every rational number can be written as a finite continued fraction, that the continued fraction of an irrational number is infinite, and derived continued fraction expansions for and . This work also contains a statement of
Euler's formula
Euler's formula, named after Leonhard Euler, is a mathematical formula in complex analysis that establishes the fundamental relationship between the trigonometric functions and the complex exponential function. Euler's formula states that for an ...
and a statement of the
pentagonal number theorem
In mathematics, the pentagonal number theorem, originally due to Euler, relates the product and series representations of the Euler function. It states that
:\prod_^\left(1-x^\right)=\sum_^\left(-1\right)^x^=1+\sum_^\infty(-1)^k\left(x^+x^\right ...
, which he had discovered earlier and would publish a proof for in 1751.
Calculus
''
Yuktibhāṣā
''Yuktibhāṣā'' ( ml, യുക്തിഭാഷ, lit=Rationale), also known as Gaṇita-yukti-bhāṣā and (''Compendium of Astronomical Rationale''), is a major treatise on Indian mathematics, mathematics and Hindu astronomy, astronomy, ...
India
India, officially the Republic of India (Hindi: ), is a country in South Asia. It is the seventh-largest country by area, the second-most populous country, and the most populous democracy in the world. Bounded by the Indian Ocean on the so ...
in 1530, this was the world's first calculus text. "This work laid the foundation for a complete system of fluxions"
and served as a summary of the Kerala School's achievements in calculus,
trigonometry
Trigonometry () is a branch of mathematics that studies relationships between side lengths and angles of triangles. The field emerged in the Hellenistic world during the 3rd century BC from applications of geometry to astronomical studies. T ...
and
mathematical analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...
, most of which were earlier discovered by the 14th century mathematician
Madhava Mādhava means Lord Krishna an incarnation of Vishnu. It may also refer to:
*a Sanskrit patronymic, "descendant of Madhu (a man of the Yadu tribe)".
** especially of Krishna, see Madhava (Vishnu)
*** an icon of Krishna
** Madhava of Sangamagrama, ...
. It is possible that this text influenced the later development of calculus in Europe. Some of its important developments in calculus include: the fundamental ideas of differentiation and
integration
Integration may refer to:
Biology
*Multisensory integration
*Path integration
* Pre-integration complex, viral genetic material used to insert a viral genome into a host genome
*DNA integration, by means of site-specific recombinase technology, ...
, the
derivative
In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. F ...
,
differential equation
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
s, term by term integration, numerical integration by means of infinite series, the relationship between the area of a curve and its integral, and the
mean value theorem
In mathematics, the mean value theorem (or Lagrange theorem) states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel to the secant through its endpoints. It i ...
.
''Nova methodus pro maximis et minimis, itemque tangentibus, quae nec fractas nec irrationales quantitates moratur, et singulare pro illi calculi genus''
*
Gottfried Leibniz
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathem ...
(1684)
Leibniz's first publication on differential calculus, containing the now familiar notation for differentials as well as rules for computing the derivatives of powers, products and quotients.
''
Philosophiae Naturalis Principia Mathematica
Philosophy (from , ) is the systematized study of general and fundamental questions, such as those about existence, reason, knowledge, values, mind, and language. Such questions are often posed as problems to be studied or resolved. Some ...
''
*
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
(1687)
The ''Philosophiae Naturalis Principia Mathematica'' (
Latin
Latin (, or , ) is a classical language belonging to the Italic branch of the Indo-European languages. Latin was originally a dialect spoken in the lower Tiber area (then known as Latium) around present-day Rome, but through the power of the ...
: "mathematical principles of natural philosophy", often ''Principia'' or ''Principia Mathematica'' for short) is a three-volume work by
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
published on 5 July 1687. Perhaps the most influential scientific book ever published, it contains the statement of
Newton's laws of motion
Newton's laws of motion are three basic laws of classical mechanics that describe the relationship between the motion of an object and the forces acting on it. These laws can be paraphrased as follows:
# A body remains at rest, or in moti ...
forming the foundation of
classical mechanics
Classical mechanics is a physical theory describing the motion of macroscopic objects, from projectiles to parts of machinery, and astronomical objects, such as spacecraft, planets, stars, and galaxies. For objects governed by classical ...
as well as his
law of universal gravitation
Newton's law of universal gravitation is usually stated as that every particle attracts every other particle in the universe with a force that is proportional to the product of their masses and inversely proportional to the square of the distanc ...
, and derives
Kepler's laws
In astronomy, Kepler's laws of planetary motion, published by Johannes Kepler between 1609 and 1619, describe the orbits of planets around the Sun. The laws modified the heliocentric theory of Nicolaus Copernicus, replacing its circular orbits ...
for the motion of the
planet
A planet is a large, rounded astronomical body that is neither a star nor its remnant. The best available theory of planet formation is the nebular hypothesis, which posits that an interstellar cloud collapses out of a nebula to create a you ...
s (which were first obtained empirically). Here was born the practice, now so standard we identify it with science, of explaining nature by postulating mathematical axioms and demonstrating that their conclusion are observable phenomena. In formulating his physical theories, Newton freely used his unpublished work on calculus. When he submitted Principia for publication, however, Newton chose to recast the majority of his proofs as geometric arguments.
''Institutiones calculi differentialis cum eius usu in analysi finitorum ac doctrina serierum''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1755)
Published in two books, Euler's textbook on differential calculus presented the subject in terms of the function concept, which he had introduced in his 1748 ''Introductio in analysin infinitorum''. This work opens with a study of the calculus of
finite differences
A finite difference is a mathematical expression of the form . If a finite difference is divided by , one gets a difference quotient. The approximation of derivatives by finite differences plays a central role in finite difference methods for the ...
and makes a thorough investigation of how differentiation behaves under substitutions. Also included is a systematic study of
Bernoulli polynomials
In mathematics, the Bernoulli polynomials, named after Jacob Bernoulli, combine the Bernoulli numbers and binomial coefficients. They are used for series expansion of functions, and with the Euler–MacLaurin formula.
These polynomials occur in ...
and the
Bernoulli numbers
In mathematics, the Bernoulli numbers are a sequence of rational numbers which occur frequently in analysis. The Bernoulli numbers appear in (and can be defined by) the Taylor series expansions of the tangent and hyperbolic tangent functions, ...
(naming them as such), a demonstration of how the Bernoulli numbers are related to the coefficients in the
Euler–Maclaurin formula
In mathematics, the Euler–Maclaurin formula is a formula for the difference between an integral and a closely related sum. It can be used to approximate integrals by finite sums, or conversely to evaluate finite sums and infinite series using ...
and the values of ζ(2n), a further study of
Euler's constant
Euler's constant (sometimes also called the Euler–Mascheroni constant) is a mathematical constant usually denoted by the lowercase Greek letter gamma ().
It is defined as the limiting difference between the harmonic series and the natural ...
(including its connection to the
gamma function
In mathematics, the gamma function (represented by , the capital letter gamma from the Greek alphabet) is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except ...
), and an application of partial fractions to differentiation.
''Über die Darstellbarkeit einer Function durch eine trigonometrische Reihe''
*
Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician who made contributions to analysis, number theory, and differential geometry. In the field of real analysis, he is mostly known for the first rig ...
(1867)
Written in 1853, Riemann's work on trigonometric series was published posthumously. In it, he extended Cauchy's definition of the integral to that of the
Riemann integral
In the branch of mathematics known as real analysis, the Riemann integral, created by Bernhard Riemann, was the first rigorous definition of the integral of a function on an interval. It was presented to the faculty at the University of Göt ...
, allowing some functions with dense subsets of discontinuities on an interval to be integrated (which he demonstrated by an example). He also stated the
Riemann series theorem
In mathematics, the Riemann series theorem (also called the Riemann rearrangement theorem), named after 19th-century German mathematician Bernhard Riemann, says that if an infinite series of real numbers is conditionally convergent, then its terms ...
, proved the
Riemann–Lebesgue lemma In mathematics, the Riemann–Lebesgue lemma, named after Bernhard Riemann and Henri Lebesgue, states that the Fourier transform or Laplace transform of an ''L''1 function vanishes at infinity. It is of importance in harmonic analysis and asymptot ...
for the case of bounded Riemann integrable functions, and developed the Riemann localization principle.
''Intégrale, longueur, aire''
*
Henri Lebesgue
Henri Léon Lebesgue (; June 28, 1875 – July 26, 1941) was a French mathematician known for his theory of integration, which was a generalization of the 17th-century concept of integration—summing the area between an axis and the curve of ...
(1901)
Lebesgue's
doctoral dissertation
A thesis ( : theses), or dissertation (abbreviated diss.), is a document submitted in support of candidature for an academic degree or professional qualification presenting the author's research and findings.International Standard ISO 7144: ...
, summarizing and extending his research to date regarding his development of
measure theory
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures ( length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simil ...
and the
Lebesgue integral
In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the -axis. The Lebesgue integral, named after French mathematician Henri Lebe ...
.
Complex analysis
''Grundlagen für eine allgemeine Theorie der Functionen einer veränderlichen complexen Grösse''
* Bernhard Riemann (1851)
Riemann's doctoral dissertation introduced the notion of a
Riemann surface
In mathematics, particularly in complex analysis, a Riemann surface is a connected one-dimensional complex manifold. These surfaces were first studied by and are named after Bernhard Riemann. Riemann surfaces can be thought of as deformed vers ...
,
conformal map
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.
More formally, let U and V be open subsets of \mathbb^n. A function f:U\to V is called conformal (or angle-preserving) at a point u_0\in ...
ping, simple connectivity, the
Riemann sphere
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers pl ...
, the Laurent series expansion for functions having poles and branch points, and the
Riemann mapping theorem
In complex analysis, the Riemann mapping theorem states that if ''U'' is a non-empty simply connected space, simply connected open set, open subset of the complex plane, complex number plane C which is not all of C, then there exists a biholomorphy ...
.
Functional analysis
''Théorie des opérations linéaires''
*
Stefan Banach
Stefan Banach ( ; 30 March 1892 – 31 August 1945) was a Polish mathematician who is generally considered one of the 20th century's most important and influential mathematicians. He was the founder of modern functional analysis, and an original ...
(1932; originally published 1931 in
Polish
Polish may refer to:
* Anything from or related to Poland, a country in Europe
* Polish language
* Poles, people from Poland or of Polish descent
* Polish chicken
*Polish brothers (Mark Polish and Michael Polish, born 1970), American twin screenwr ...
under the title ''Teorja operacyj''.)
*
The first mathematical monograph on the subject of
linear
Linearity is the property of a mathematical relationship (''function'') that can be graphically represented as a straight line. Linearity is closely related to '' proportionality''. Examples in physics include rectilinear motion, the linear r ...
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
s, bringing the abstract study of
functional analysis
Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (e.g. Inner product space#Definition, inner product, Norm (mathematics)#Defini ...
to the wider mathematical community. The book introduced the ideas of a
normed space
In mathematics, a normed vector space or normed space is a vector space over the real or complex numbers, on which a norm is defined. A norm is the formalization and the generalization to real vector spaces of the intuitive notion of "length" i ...
and the notion of a so-called ''B''-space, a
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
normed space. The ''B''-spaces are now called
Banach space
In mathematics, more specifically in functional analysis, a Banach space (pronounced ) is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vector ...
s and are one of the basic objects of study in all areas of modern mathematical analysis. Banach also gave proofs of versions of the open mapping theorem,
closed graph theorem
In mathematics, the closed graph theorem may refer to one of several basic results characterizing continuous functions in terms of their graphs.
Each gives conditions when functions with closed graphs are necessarily continuous.
Graphs and map ...
, and
Hahn–Banach theorem
The Hahn–Banach theorem is a central tool in functional analysis.
It allows the extension of bounded linear functionals defined on a subspace of some vector space to the whole space, and it also shows that there are "enough" continuous linear f ...
.
''Produits Tensoriels Topologiques et Espaces Nucléaires''
*
Grothendieck's thesis introduced the notion of a
nuclear space
In mathematics, nuclear spaces are topological vector space, topological vector spaces that can be viewed as a generalization of finite dimensional Euclidean spaces and share many of their desirable properties. Nuclear spaces are however quite diff ...
topological vector space
In mathematics, a topological vector space (also called a linear topological space and commonly abbreviated TVS or t.v.s.) is one of the basic structures investigated in functional analysis.
A topological vector space is a vector space that is als ...
s:
*
''Sur certains espaces vectoriels topologiques''
*
Fourier analysis
''Mémoire sur la propagation de la chaleur dans les corps solides''
*
Joseph Fourier
Jean-Baptiste Joseph Fourier (; ; 21 March 1768 – 16 May 1830) was a French people, French mathematician and physicist born in Auxerre and best known for initiating the investigation of Fourier series, which eventually developed into Fourier an ...
(1807)
Introduced
Fourier analysis
In mathematics, Fourier analysis () is the study of the way general functions may be represented or approximated by sums of simpler trigonometric functions. Fourier analysis grew from the study of Fourier series, and is named after Josep ...
, specifically
Fourier series
A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or ''p ...
. Key contribution was to not simply use
trigonometric series
In mathematics, a trigonometric series is a infinite series of the form
: \frac+\displaystyle\sum_^(A_ \cos + B_ \sin),
an infinite version of a trigonometric polynomial.
It is called the Fourier series of the integrable function f if the term ...
, but to model ''all'' functions by trigonometric series:
When Fourier submitted his paper in 1807, the committee (which included
Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi LagrangiaLaplace
Pierre-Simon, marquis de Laplace (; ; 23 March 1749 – 5 March 1827) was a French scholar and polymath whose work was important to the development of engineering, mathematics, statistics, physics, astronomy, and philosophy. He summarized ...
,
Malus
''Malus'' ( or ) is a genus of about 30–55 species of small deciduous trees or shrubs in the family Rosaceae, including the domesticated orchard apple, crab apples, wild apples, and rainberries.
The genus is native to the temperate zone of th ...
and Legendre, among others) concluded: ''...the manner in which the author arrives at these equations is not exempt of difficulties and ..his analysis to integrate them still leaves something to be desired on the score of generality and even rigour''. Making Fourier series rigorous, which in detail took over a century, led directly to a number of developments in analysis, notably the rigorous statement of the integral via the
Dirichlet integral
In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line:
: \int_0^\in ...
and later the
Lebesgue integral
In mathematics, the integral of a non-negative function of a single variable can be regarded, in the simplest case, as the area between the graph of that function and the -axis. The Lebesgue integral, named after French mathematician Henri Lebe ...
.
''Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données''
*
Peter Gustav Lejeune Dirichlet
Johann Peter Gustav Lejeune Dirichlet (; 13 February 1805 – 5 May 1859) was a German mathematician who made deep contributions to number theory (including creating the field of analytic number theory), and to the theory of Fourier series and ...
(1829, expanded German edition in 1837)
In his habilitation thesis on Fourier series, Riemann characterized this work of Dirichlet as "''the first profound paper about the subject''". This paper gave the first rigorous proof of the convergence of
Fourier series
A Fourier series () is a summation of harmonically related sinusoidal functions, also known as components or harmonics. The result of the summation is a periodic function whose functional form is determined by the choices of cycle length (or ''p ...
under fairly general conditions (piecewise continuity and monotonicity) by considering partial sums, which Dirichlet transformed into a particular
Dirichlet integral
In mathematics, there are several integrals known as the Dirichlet integral, after the German mathematician Peter Gustav Lejeune Dirichlet, one of which is the improper integral of the sinc function over the positive real line:
: \int_0^\in ...
involving what is now called the
Dirichlet kernel In mathematical analysis, the Dirichlet kernel, named after the German mathematician Peter Gustav Lejeune Dirichlet, is the collection of periodic functions defined as
D_n(x)= \sum_^n e^ = \left(1+2\sum_^n\cos(kx)\right)=\frac,
where is any nonneg ...
. This paper introduced the nowhere continuous
Dirichlet function
In mathematics, the Dirichlet function is the indicator function 1Q or \mathbf_\Q of the set of rational numbers Q, i.e. if ''x'' is a rational number and if ''x'' is not a rational number (i.e. an irrational number).
\mathbf 1_\Q(x) = \begin
1 ...
and an early version of the
Riemann–Lebesgue lemma In mathematics, the Riemann–Lebesgue lemma, named after Bernhard Riemann and Henri Lebesgue, states that the Fourier transform or Laplace transform of an ''L''1 function vanishes at infinity. It is of importance in harmonic analysis and asymptot ...
.
''On convergence and growth of partial sums of Fourier series''
*
Lennart Carleson
Lennart Axel Edvard Carleson (born 18 March 1928) is a Swedish mathematician, known as a leader in the field of harmonic analysis. One of his most noted accomplishments is his proof of Lusin's conjecture. He was awarded the Abel Prize in 2006 fo ...
(1966)
Settled
Lusin's conjecture
Carleson's theorem is a fundamental result in mathematical analysis establishing the pointwise (Lebesgue) almost everywhere convergence of Fourier series of functions, proved by . The name is also often used to refer to the extension of the re ...
that the Fourier expansion of any function converges
almost everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to ...
.
Geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
''
Baudhayana
The (Sanskrit: बौधायन) are a group of Vedic Sanskrit texts which cover dharma, daily ritual, mathematics and is one of the oldest Dharma-related texts of Hinduism that have survived into the modern age from the 1st-millennium BCE. Th ...
Baudhayana
The (Sanskrit: बौधायन) are a group of Vedic Sanskrit texts which cover dharma, daily ritual, mathematics and is one of the oldest Dharma-related texts of Hinduism that have survived into the modern age from the 1st-millennium BCE. Th ...
Written around the 8th century BC, this is one of the oldest geometrical texts. It laid the foundations of
Indian mathematics
Indian mathematics emerged in the Indian subcontinent from 1200 BCE until the end of the 18th century. In the classical period of Indian mathematics (400 CE to 1200 CE), important contributions were made by scholars like Aryabhata, Brahmagupta ...
and was influential in
South Asia
South Asia is the southern subregion of Asia, which is defined in both geographical and ethno-cultural terms. The region consists of the countries of Afghanistan, Bangladesh, Bhutan, India, Maldives, Nepal, Pakistan, and Sri Lanka.;;;;;;;; ...
and its surrounding regions, and perhaps even Greece. Among the important geometrical discoveries included in this text are: the earliest list of Pythagorean triples discovered algebraically, the earliest statement of the Pythagorean theorem, geometric solutions of linear equations, several approximations of π, the first use of irrational numbers, and an accurate computation of the
square root of 2
The square root of 2 (approximately 1.4142) is a positive real number that, when multiplied by itself, equals the number 2. It may be written in mathematics as \sqrt or 2^, and is an algebraic number. Technically, it should be called the princip ...
, correct to a remarkable five decimal places. Though this was primarily a geometrical text, it also contained some important algebraic developments, including the earliest use of quadratic equations of the forms ax2 = c and ax2 + bx = c, and integral solutions of simultaneous
Diophantine equation
In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, such that the only solutions of interest are the integer ones. A linear Diophantine equation equates to a c ...
Euclid
Euclid (; grc-gre, Wikt:Εὐκλείδης, Εὐκλείδης; BC) was an ancient Greek mathematician active as a geometer and logician. Considered the "father of geometry", he is chiefly known for the ''Euclid's Elements, Elements'' trea ...
Publication data: c. 300 BC
Online version:'' Interactive Java version
This is often regarded as not only the most important work in
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
but one of the most important works in mathematics. It contains many important results in plane and solid
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, algebra (books II and V), and
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 arithmetic function, integer-valued functions. German mathematician Carl Friedrich Gauss (1777 ...
(book VII, VIII, and IX). More than any specific result in the publication, it seems that the major achievement of this publication is the promotion of an axiomatic approach as a means for proving results. Euclid's ''Elements'' has been referred to as the most successful and influential textbook ever written.
''
The Nine Chapters on the Mathematical Art
''The Nine Chapters on the Mathematical Art'' () is a Chinese mathematics book, composed by several generations of scholars from the 10th–2nd century BCE, its latest stage being from the 2nd century CE. This book is one of the earliest sur ...
''
* Unknown author
This was a Chinese
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
book, mostly geometric, composed during the
Han Dynasty
The Han dynasty (, ; ) was an imperial dynasty of China (202 BC – 9 AD, 25–220 AD), established by Liu Bang (Emperor Gao) and ruled by the House of Liu. The dynasty was preceded by the short-lived Qin dynasty (221–207 BC) and a warr ...
, perhaps as early as 200 BC. It remained the most important textbook in
China
China, officially the People's Republic of China (PRC), is a country in East Asia. It is the world's most populous country, with a population exceeding 1.4 billion, slightly ahead of India. China spans the equivalent of five time zones and ...
and
East Asia
East Asia is the eastern region of Asia, which is defined in both geographical and ethno-cultural terms. The modern states of East Asia include China, Japan, Mongolia, North Korea, South Korea, and Taiwan. China, North Korea, South Korea and ...
for over a thousand years, similar to the position of Euclid's ''Elements'' in Europe. Among its contents: Linear problems solved using the principle known later in the West as the ''
rule of false position
In mathematics, the ''regula falsi'', method of false position, or false position method is a very old method for solving an equation with one unknown; this method, in modified form, is still in use. In simple terms, the method is the trial and e ...
''. Problems with several unknowns, solved by a principle similar to
Gaussian elimination
In mathematics, Gaussian elimination, also known as row reduction, is an algorithm for solving systems of linear equations. It consists of a sequence of operations performed on the corresponding matrix of coefficients. This method can also be used ...
. Problems involving the principle known in the West as the
Pythagorean theorem
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite t ...
. The earliest solution of a
matrix
Matrix most commonly refers to:
* ''The Matrix'' (franchise), an American media franchise
** ''The Matrix'', a 1999 science-fiction action film
** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
Apollonius of Perga
Apollonius of Perga ( grc-gre, Ἀπολλώνιος ὁ Περγαῖος, Apollṓnios ho Pergaîos; la, Apollonius Pergaeus; ) was an Ancient Greek geometer and astronomer known for his work on conic sections. Beginning from the contribution ...
The Conics was written by Apollonius of Perga, a
Greek
Greek may refer to:
Greece
Anything of, from, or related to Greece, a country in Southern Europe:
*Greeks, an ethnic group.
*Greek language, a branch of the Indo-European language family.
**Proto-Greek language, the assumed last common ancestor ...
mathematician. His innovative methodology and terminology, especially in the field of
conics
In mathematics, a conic section, quadratic curve or conic is a curve obtained as the intersection of the surface of a cone with a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a speci ...
, influenced many later scholars including
Ptolemy
Claudius Ptolemy (; grc-gre, Πτολεμαῖος, ; la, Claudius Ptolemaeus; AD) was a mathematician, astronomer, astrologer, geographer, and music theorist, who wrote about a dozen scientific treatises, three of which were of importanc ...
,
Francesco Maurolico
Francesco Maurolico (Latin: ''Franciscus Maurolycus''; Italian: ''Francesco Maurolico''; gr, Φραγκίσκος Μαυρόλυκος, 16 September 1494 - 21/22 July 1575) was a mathematician and astronomer from Sicily. He made contributions t ...
,
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
, and
René Descartes
René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Mathem ...
. It was Apollonius who gave the
ellipse
In mathematics, an ellipse is a plane curve surrounding two focus (geometry), focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special ty ...
, the
parabola
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
One descript ...
, and the
hyperbola
In mathematics, a hyperbola (; pl. hyperbolas or hyperbolae ; adj. hyperbolic ) is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, cal ...
the names by which we know them.
''
Surya Siddhanta
The ''Surya Siddhanta'' (; ) is a Sanskrit treatise in Indian astronomy dated to 505 CE,Menso Folkerts, Craig G. Fraser, Jeremy John Gray, John L. Berggren, Wilbur R. Knorr (2017)Mathematics Encyclopaedia Britannica, Quote: "(...) its Hindu inven ...
''
* Unknown (400 CE)
Contains the roots of modern trigonometry. It describes the archeo-astronomy theories, principles and methods of the ancient Hindus. This siddhanta is supposed to be the knowledge that the Sun god gave to an Asura called Maya. It uses sine (jya), cosine (kojya or "perpendicular sine") and inverse sine (otkram jya) for the first time, and also contains the earliest use of the tangent and secant. Later Indian mathematicians such as Aryabhata made references to this text, while later Arabic and Latin translations were very influential in Europe and the Middle East.
''
Aryabhatiya
''Aryabhatiya'' (IAST: ') or ''Aryabhatiyam'' ('), a Sanskrit astronomical treatise, is the ''magnum opus'' and only known surviving work of the 5th century Indian mathematician Aryabhata. Philosopher of astronomy Roger Billard estimates that th ...
''
*
Aryabhata
Aryabhata (ISO: ) or Aryabhata I (476–550 CE) was an Indian mathematician and astronomer of the classical age of Indian mathematics and Indian astronomy. He flourished in the Gupta Era and produced works such as the ''Aryabhatiya'' (which ...
(499 CE)
This was a highly influential text during the Golden Age of mathematics in India. The text was highly concise and therefore elaborated upon in commentaries by later mathematicians. It made significant contributions to geometry and astronomy, including introduction of sine/ cosine, determination of the approximate value of pi and accurate calculation of the earth's circumference.
''
La Géométrie
''La Géométrie'' was published in 1637 as an appendix to ''Discours de la méthode'' (''Discourse on the Method''), written by René Descartes. In the ''Discourse'', he presents his method for obtaining clarity on any subject. ''La Géométrie ...
''
*
René Descartes
René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Mathem ...
La Géométrie was
published
Publishing is the activity of making information, literature, music, software and other content available to the public for sale or for free. Traditionally, the term refers to the creation and distribution of printed works, such as books, newsp ...
in 1637 and
written
Writing is a medium of human communication which involves the representation of a language through a system of physically inscribed, mechanically transferred, or digitally represented symbols.
Writing systems do not themselves constitute h ...
by
René Descartes
René Descartes ( or ; ; Latinized: Renatus Cartesius; 31 March 1596 – 11 February 1650) was a French philosopher, scientist, and mathematician, widely considered a seminal figure in the emergence of modern philosophy and science. Mathem ...
. The book was influential in developing the
Cartesian coordinate system
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in t ...
and specifically discussed the representation of
point
Point or points may refer to:
Places
* Point, Lewis, a peninsula in the Outer Hebrides, Scotland
* Point, Texas, a city in Rains County, Texas, United States
* Point, the NE tip and a ferry terminal of Lismore, Inner Hebrides, Scotland
* Point ...
s of a
plane
Plane(s) most often refers to:
* Aero- or airplane, a powered, fixed-wing aircraft
* Plane (geometry), a flat, 2-dimensional surface
Plane or planes may also refer to:
Biology
* Plane (tree) or ''Platanus'', wetland native plant
* Planes (gen ...
, via
real number
In mathematics, a real number is a number that can be used to measure a ''continuous'' one-dimensional quantity such as a distance, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small variations. Every real ...
s; and the representation of
curve
In mathematics, a curve (also called a curved line in older texts) is an object similar to a line (geometry), line, but that does not have to be Linearity, straight.
Intuitively, a curve may be thought of as the trace left by a moving point (ge ...
s, via
equation
In mathematics, an equation is a formula that expresses the equality of two expressions, by connecting them with the equals sign . The word ''equation'' and its cognates in other languages may have subtly different meanings; for example, in ...
s.
''Grundlagen der Geometrie''
*
David Hilbert
David Hilbert (; ; 23 January 1862 – 14 February 1943) was a German mathematician, one of the most influential mathematicians of the 19th and early 20th centuries. Hilbert discovered and developed a broad range of fundamental ideas in many a ...
Online version:'' English
Publication data:
Hilbert's axiomatization of geometry, whose primary influence was in its pioneering approach to metamathematical questions including the use of models to prove axiom independence and the importance of establishing the consistency and completeness of an axiomatic system.
''
Regular Polytopes
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, ...
''
*
H.S.M. Coxeter
Harold Scott MacDonald "Donald" Coxeter, (9 February 1907 – 31 March 2003) was a British and later also Canadian geometer. He is regarded as one of the greatest geometers of the 20th century.
Biography
Coxeter was born in Kensington t ...
''Regular Polytopes'' is a comprehensive survey of the geometry of
regular polytope
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or -faces (for all , where is the dimension of the polytope) — cells, f ...
s, the generalisation of regular
polygon
In geometry, a polygon () is a plane figure that is described by a finite number of straight line segments connected to form a closed ''polygonal chain'' (or ''polygonal circuit''). The bounded plane region, the bounding circuit, or the two toge ...
s and regular
polyhedra
In geometry, a polyhedron (plural polyhedra or polyhedrons; ) is a three-dimensional shape with flat polygonal faces, straight edges and sharp corners or vertices.
A convex polyhedron is the convex hull of finitely many points, not all on t ...
to higher dimensions. Originating with an essay entitled ''Dimensional Analogy'' written in 1923, the first edition of the book took Coxeter 24 years to complete. Originally written in 1947, the book was updated and republished in 1963 and 1973.
Differential geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
''Recherches sur la courbure des surfaces''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1760)
Publication data: Mémoires de l'académie des sciences de Berlin 16 (1760) pp. 119–143; published 1767. Full text and an English translation available from the Dartmouth Euler archive.)
Established the theory of
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is t ...
s, and introduced the idea of
principal curvatures
In differential geometry, the two principal curvatures at a given point of a surface are the maximum and minimum values of the curvature as expressed by the eigenvalues of the shape operator at that point. They measure how the surface bends by d ...
, laying the foundation for subsequent developments in the
differential geometry of surfaces
In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric.
Surfaces have been extensively studied from various perspectives ...
.
''Disquisitiones generales circa superficies curvas''
*
Carl Friedrich Gauss
Johann Carl Friedrich Gauss (; german: Gauß ; la, Carolus Fridericus Gauss; 30 April 177723 February 1855) was a German mathematician and physicist who made significant contributions to many fields in mathematics and science. Sometimes refer ...
differential geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
, introducing the notion of
Gaussian curvature
In differential geometry, the Gaussian curvature or Gauss curvature of a surface at a point is the product of the principal curvatures, and , at the given point:
K = \kappa_1 \kappa_2.
The Gaussian radius of curvature is the reciprocal of .
F ...
and Gauss' celebrated
Theorema Egregium
Gauss's ''Theorema Egregium'' (Latin for "Remarkable Theorem") is a major result of differential geometry, proved by Carl Friedrich Gauss in 1827, that concerns the curvature of surfaces. The theorem says that Gaussian curvature can be determi ...
.
''Über die Hypothesen, welche der Geometrie zu Grunde Liegen''
manifold
In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a n ...
,
Riemannian metric
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent space ''T ...
''Leçons sur la théorie génerale des surfaces et les applications géométriques du calcul infinitésimal''
*
Gaston Darboux
Jean-Gaston Darboux FAS MIF FRS FRSE (14 August 1842 – 23 February 1917) was a French mathematician.
Life
According this birth certificate he was born in Nîmes in France on 14 August 1842, at 1 am. However, probably due to the midni ...
Publication data: Volume I Volume II Volume III Volume IV
Leçons sur la théorie génerale des surfaces et les applications géométriques du calcul infinitésimal (on the General Theory of Surfaces and the Geometric Applications of Infinitesimal Calculus). A treatise covering virtually every aspect of the 19th century
differential geometry
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multili ...
of
surface
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is t ...
s.
Topology
In mathematics, topology (from the Greek language, Greek words , and ) is concerned with the properties of a mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such ...
''Analysis situs''
*
Henri Poincaré
Jules Henri Poincaré ( S: stress final syllable ; 29 April 1854 – 17 July 1912) was a French mathematician, theoretical physicist, engineer, and philosopher of science. He is often described as a polymath, and in mathematics as "The ...
(1895, 1899–1905)
Description: Poincaré's Analysis Situs and his Compléments à l'Analysis Situs laid the general foundations for
algebraic topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up t ...
. In these papers, Poincaré introduced the notions of
homology
Homology may refer to:
Sciences
Biology
*Homology (biology), any characteristic of biological organisms that is derived from a common ancestor
* Sequence homology, biological homology between DNA, RNA, or protein sequences
*Homologous chrom ...
and the
fundamental group
In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of ...
, provided an early formulation of
Poincaré duality
In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if ''M'' is an ''n''-dimensional oriented closed manifold (compact a ...
, gave the
Euler–Poincaré characteristic
In mathematics, and more specifically in algebraic topology and polyhedral combinatorics, the Euler characteristic (or Euler number, or Euler–Poincaré characteristic) is a topological invariant, a number that describes a topological space ...
for
chain complexes
In mathematics, a chain complex is an algebraic structure that consists of a sequence of abelian groups (or modules) and a sequence of homomorphisms between consecutive groups such that the image of each homomorphism is included in the kernel o ...
, and mentioned several important conjectures including the
Poincaré conjecture
In the mathematics, mathematical field of geometric topology, the Poincaré conjecture (, , ) is a theorem about the Characterization (mathematics), characterization of the 3-sphere, which is the hypersphere that bounds the unit ball in four-dim ...
, demonstrated by
Grigori Perelman
Grigori Yakovlevich Perelman ( rus, links=no, Григорий Яковлевич Перельман, p=ɡrʲɪˈɡorʲɪj ˈjakəvlʲɪvʲɪtɕ pʲɪrʲɪlʲˈman, a=Ru-Grigori Yakovlevich Perelman.oga; born 13 June 1966) is a Russian mathemati ...
in 2003.
''L'anneau d'homologie d'une représentation'', ''Structure de l'anneau d'homologie d'une représentation''
*
Jean Leray
Jean Leray (; 7 November 1906 – 10 November 1998) was a French mathematician, who worked on both partial differential equations and algebraic topology.
Life and career
He was born in Chantenay-sur-Loire (today part of Nantes). He studied at Éc ...
(1946)
These two Comptes Rendus notes of Leray from 1946 introduced the novel concepts of sheafs,
sheaf cohomology In mathematics, sheaf cohomology is the application of homological algebra to analyze the global sections of a sheaf on a topological space. Broadly speaking, sheaf cohomology describes the obstructions to solving a geometric problem globally when i ...
, and
spectral sequences
In homological algebra and algebraic topology, a spectral sequence is a means of computing homology groups by taking successive approximations. Spectral sequences are a generalization of exact sequences, and since their introduction by , they hav ...
, which he had developed during his years of captivity as a prisoner of war. Leray's announcements and applications (published in other Comptes Rendus notes from 1946) drew immediate attention from other mathematicians. Subsequent clarification, development, and generalization by
Henri Cartan
Henri Paul Cartan (; 8 July 1904 – 13 August 2008) was a French mathematician who made substantial contributions to algebraic topology.
He was the son of the mathematician Élie Cartan, nephew of mathematician Anna Cartan, oldest brother of co ...
,
Jean-Louis Koszul
Jean-Louis Koszul (; January 3, 1921 – January 12, 2018) was a French mathematician, best known for studying geometry and discovering the Koszul complex. He was a second generation member of Bourbaki.
Biography
Koszul was educated at the in ...
,
Armand Borel
Armand Borel (21 May 1923 – 11 August 2003) was a Swiss mathematician, born in La Chaux-de-Fonds, and was a permanent professor at the Institute for Advanced Study in Princeton, New Jersey, United States from 1957 to 1993. He worked in alg ...
,
Jean-Pierre Serre
Jean-Pierre Serre (; born 15 September 1926) is a French mathematician who has made contributions to algebraic topology, algebraic geometry, and algebraic number theory. He was awarded the Fields Medal in 1954, the Wolf Prize in 2000 and the ina ...
, and Leray himself allowed these concepts to be understood and applied to many other areas of mathematics. Dieudonné would later write that these notions created by Leray "''undoubtedly rank at the same level in the history of mathematics as the methods invented by Poincaré and Brouwer''".
Quelques propriétés globales des variétés differentiables
*
René Thom
René Frédéric Thom (; 2 September 1923 – 25 October 2002) was a French mathematician, who received the Fields Medal in 1958.
He made his reputation as a topologist, moving on to aspects of what would be called singularity theory; he became w ...
(1954)
In this paper, Thom proved the
Thom transversality theorem
In differential topology, the transversality theorem, also known as the Thom transversality theorem after French mathematician René Thom, is a major result that describes the transverse intersection properties of a smooth family of smooth maps. It ...
, introduced the notions of
oriented
In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is ...
and unoriented cobordism, and demonstrated that cobordism groups could be computed as the homotopy groups of certain
Thom space In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact sp ...
s. Thom completely characterized the unoriented cobordism ring and achieved strong results for several problems, including Steenrod's problem on the realization of cycles.
Category theory
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, cate ...
"General Theory of Natural Equivalences"
*
Samuel Eilenberg
Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra.
Early life and education
He was born in Warsaw, Kingdom of Poland to a ...
and
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.
Early life and education
Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftvill ...
(1945)
The first paper on category theory. Mac Lane later wrote in ''Categories for the Working Mathematician'' that he and Eilenberg introduced categories so that they could introduce functors, and they introduced functors so that they could introduce natural equivalences. Prior to this paper, "natural" was used in an informal and imprecise way to designate constructions that could be made without making any choices. Afterwards, "natural" had a precise meaning which occurred in a wide variety of contexts and had powerful and important consequences.
''
Categories for the Working Mathematician
''Categories for the Working Mathematician'' (''CWM'') is a textbook in category theory written by American mathematician Saunders Mac Lane, who cofounded the subject together with Samuel Eilenberg. It was first published in 1971, and is based on ...
''
*
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.
Early life and education
Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftvill ...
(1971, second edition 1998)
Saunders Mac Lane, one of the founders of category theory, wrote this exposition to bring categories to the masses. Mac Lane brings to the fore the important concepts that make category theory useful, such as
adjoint functor
In mathematics, specifically category theory, adjunction is a relationship that two functors may exhibit, intuitively corresponding to a weak form of equivalence between two related categories. Two functors that stand in this relationship are kno ...
s and
universal properties
In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently fro ...
.
''
Higher Topos Theory
''Higher Topos Theory'' is a treatise on the theory of ∞-categories written by American mathematician Jacob Lurie. In addition to introducing Lurie's new theory of ∞-topoi, the book is widely considered foundational to higher category theory ...
''
*
Jacob Lurie
Jacob Alexander Lurie (born December 7, 1977) is an American mathematician who is a professor at the Institute for Advanced Study. Lurie is a 2014 MacArthur Fellow.
Life
When he was a student in the Science, Mathematics, and Computer Science ...
(2010)
''This purpose of this book is twofold: to provide a general introduction to higher category theory (using the formalism of "quasicategories" or "weak Kan complexes"), and to apply this theory to the study of higher versions of Grothendieck topoi. A few applications to classical topology are included.'' (see arXiv.)
Set theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly conce ...
"Über eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen"
*
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor ( , ; – January 6, 1918) was a German mathematician. He played a pivotal role in the creation of set theory, which has become a fundamental theory in mathematics. Cantor established the importance of ...
(1874)
Online version:'' Online version
Contains the first proof that the set of all real numbers is uncountable; also contains a proof that the set of algebraic numbers is countable. (See
Georg Cantor's first set theory article
Cantor's first set theory article contains Georg Cantor's first theorems of transfinite set theory, which studies infinite sets and their properties. One of these theorems is his "revolutionary discovery" that the set of all real numbers is uncou ...
.)
''
Grundzüge der Mengenlehre
''Grundzüge der Mengenlehre'' (German for "Basics of Set Theory") is a book on set theory written by Felix Hausdorff.
First published in April 1914, ''Grundzüge der Mengenlehre'' was the first comprehensive introduction to set theory. Besides th ...
''
*
Felix Hausdorff
Felix Hausdorff ( , ; November 8, 1868 – January 26, 1942) was a German mathematician who is considered to be one of the founders of modern topology and who contributed significantly to set theory, descriptive set theory, measure theory, and ...
First published in 1914, this was the first comprehensive introduction to set theory. Besides the systematic treatment of known results in set theory, the book also contains chapters on
measure theory
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures ( length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simil ...
and topology, which were then still considered parts of set theory. Here Hausdorff presents and develops highly original material which was later to become the basis for those areas.
"The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory"
*
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...
(1938)
Gödel proves the results of the title. Also, in the process, introduces the class L of constructible sets, a major influence in the development of axiomatic set theory.
"The Independence of the Continuum Hypothesis"
* Paul J. Cohen (1963, 1964)
Cohen's breakthrough work proved the independence of the
continuum hypothesis
In mathematics, the continuum hypothesis (abbreviated CH) is a hypothesis about the possible sizes of infinite sets. It states that
or equivalently, that
In Zermelo–Fraenkel set theory with the axiom of choice (ZFC), this is equivalent to ...
and axiom of choice with respect to
Zermelo–Fraenkel set theory
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as ...
. In proving this Cohen introduced the concept of '' forcing'' which led to many other major results in axiomatic set theory.
Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
''
The Laws of Thought
''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'' by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathe ...
''
*
George Boole
George Boole (; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ire ...
(1854)
Published in 1854,
The Laws of Thought
''An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories of Logic and Probabilities'' by George Boole, published in 1854, is the second of Boole's two monographs on algebraic logic. Boole was a professor of mathe ...
was the first book to provide a mathematical foundation for logic. Its aim was a complete re-expression and extension of Aristotle's logic in the language of mathematics. Boole's work founded the discipline of algebraic logic and would later be central for
Claude Shannon
Claude Elwood Shannon (April 30, 1916 – February 24, 2001) was an American people, American mathematician, electrical engineering, electrical engineer, and cryptography, cryptographer known as a "father of information theory".
As a 21-year-o ...
in the development of digital logic.
''
Begriffsschrift
''Begriffsschrift'' (German for, roughly, "concept-script") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.
''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notatio ...
''
*
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic phil ...
(1879)
Published in 1879, the title ''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notation''; the full title of the book identifies it as "''a
formula
In science, a formula is a concise way of expressing information symbolically, as in a mathematical formula or a ''chemical formula''. The informal use of the term ''formula'' in science refers to the general construct of a relationship betwee ...
language
Language is a structured system of communication. The structure of a language is its grammar and the free components are its vocabulary. Languages are the primary means by which humans communicate, and may be conveyed through a variety of met ...
, modelled on that of
arithmetic
Arithmetic () is an elementary part of mathematics that consists of the study of the properties of the traditional operations on numbers— addition, subtraction, multiplication, division, exponentiation, and extraction of roots. In the 19th ...
, of pure
thought
In their most common sense, the terms thought and thinking refer to conscious cognitive processes that can happen independently of sensory stimulation. Their most paradigmatic forms are judging, reasoning, concept formation, problem solving, a ...
''". Frege's motivation for developing his
formal logical system
A formal system is an abstract structure used for inferring theorems from axioms according to a set of rules. These rules, which are used for carrying out the inference of theorems from axioms, are the logical calculus of the formal system.
A form ...
was similar to
Leibniz
Gottfried Wilhelm (von) Leibniz . ( – 14 November 1716) was a German polymath active as a mathematician, philosopher, scientist and diplomat. He is one of the most prominent figures in both the history of philosophy and the history of mathema ...
's desire for a ''
calculus ratiocinator
The ''calculus ratiocinator'' is a theoretical universal logical calculation framework, a concept described in the writings of Gottfried Leibniz, usually paired with his more frequently mentioned ''characteristica universalis'', a universal conce ...
''. Frege defines a logical calculus to support his research in the
foundations of mathematics
Foundations of mathematics is the study of the philosophy, philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the natu ...
. ''Begriffsschrift'' is both the name of the book and the calculus defined therein. It was arguably the most significant publication in
logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from premises ...
since
Aristotle
Aristotle (; grc-gre, Ἀριστοτέλης ''Aristotélēs'', ; 384–322 BC) was a Greek philosopher and polymath during the Classical period in Ancient Greece. Taught by Plato, he was the founder of the Peripatetic school of phil ...
.
''
Formulario mathematico
''Formulario Mathematico'' (Latino sine flexione: ''Formulary for Mathematics'') is a book
There are many editions. Here are two:
* (French) Published 1901 by Gauthier-Villars, Paris. 230p.OpenLibrary OL15255022W Giuseppe Peano
Giuseppe Peano (; ; 27 August 1858 – 20 April 1932) was an Italian mathematician and glottologist. The author of over 200 books and papers, he was a founder of mathematical logic and set theory, to which he contributed much notation. The stand ...
(1895)
First published in 1895, the Formulario mathematico was the first mathematical book written entirely in a formalized language. It contained a description of
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
and many important theorems in other branches of mathematics. Many of the notations introduced in the book are now in common use.
''
Principia Mathematica
The ''Principia Mathematica'' (often abbreviated ''PM'') is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. ...
''
*
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, ...
and
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He is best known as the defining figure of the philosophical school known as process philosophy, which today has found applicat ...
(1910–1913)
The ''Principia Mathematica'' is a three-volume work on the foundations of
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, written by
Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British mathematician, philosopher, logician, and public intellectual. He had a considerable influence on mathematics, logic, set theory, linguistics, ...
and
Alfred North Whitehead
Alfred North Whitehead (15 February 1861 – 30 December 1947) was an English mathematician and philosopher. He is best known as the defining figure of the philosophical school known as process philosophy, which today has found applicat ...
and published in 1910–1913. It is an attempt to derive all mathematical truths from a well-defined set of axioms and inference rules in
symbolic logic
Mathematical logic is the study of formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of formal ...
. The questions remained whether a contradiction could be derived from the Principia's axioms, and whether there exists a mathematical statement which could neither be proven nor disproven in the system. These questions were settled, in a rather surprising way, by Gödel's incompleteness theorem in 1931.
''
Systems of Logic Based on Ordinals
''Systems of Logic Based on Ordinals'' was the PhD dissertation of the mathematician Alan Turing.
Turing's thesis is not about a new type of formal logic, nor was he interested in so-called ‘ranked logic’ systems derived from ordinal or relat ...
''
*
Alan Turing
Alan Mathison Turing (; 23 June 1912 – 7 June 1954) was an English mathematician, computer scientist, logician, cryptanalyst, philosopher, and theoretical biologist. Turing was highly influential in the development of theoretical com ...
's PhD thesis
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I"
(
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
"Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I" ("On Formally Undecidable Propositions of Principia Mathematica and Related Systems I") is a paper in mathematical logic by Kurt Gödel. Submitted November ...
)
*
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...
mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...
,
Gödel's incompleteness theorems
Gödel's incompleteness theorems are two theorems of mathematical logic
Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research i ...
are two celebrated theorems proved by
Kurt Gödel
Kurt Friedrich Gödel ( , ; April 28, 1906 – January 14, 1978) was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an imme ...
axioms
An axiom, postulate, or assumption is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Ancient Greek word (), meaning 'that which is thought worthy or f ...
recursive
Recursion (adjective: ''recursive'') occurs when a thing is defined in terms of itself or of its type. Recursion is used in a variety of disciplines ranging from linguistics to logic. The most common application of recursion is in mathematics ...
relation of natural numbers is definable in it, there exists a formula of the system such that, according to the intended interpretation of the system, it expresses a truth about natural numbers and yet it is not a
theorem
In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
of the system.
Combinatorics
Combinatorics is an area of mathematics primarily concerned with counting, both as a means and an end in obtaining results, and certain properties of finite structures. It is closely related to many other areas of mathematics and has many appl ...
"On sets of integers containing no k elements in arithmetic progression"
*
Endre Szemerédi
Endre Szemerédi (; born August 21, 1940) is a Hungarian-American mathematician and computer scientist, working in the field of combinatorics and theoretical computer science. He has been the State of New Jersey Professor of computer science a ...
(1975)
Settled a conjecture of
Paul Erdős
Paul Erdős ( hu, Erdős Pál ; 26 March 1913 – 20 September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century. pursued and proposed problems in ...
and
Pál Turán
Pál Turán (; 18 August 1910 – 26 September 1976) also known as Paul Turán, was a Hungarian mathematician who worked primarily in extremal combinatorics. He had a long collaboration with fellow Hungarian mathematician Paul Erdős, lasting 4 ...
(now known as
Szemerédi's theorem
In arithmetic combinatorics, Szemerédi's theorem is a result concerning arithmetic progressions in subsets of the integers. In 1936, Erdős and Turán conjectured that every set of integers ''A'' with positive natural density contains a ''k''-ter ...
) that if a sequence of natural numbers has positive upper density then it contains arbitrarily long arithmetic progressions. Szemerédi's solution has been described as a "masterpiece of combinatorics" and it introduced new ideas and tools to the field including a weak form of the
Szemerédi regularity lemma
Szemerédi's regularity lemma is one of the most powerful tools in extremal graph theory, particularly in the study of large dense graphs. It states that the vertices of every large enough graph can be partitioned into a bounded number of parts so ...
.
Graph theory
In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ...
''Solutio problematis ad geometriam situs pertinentis''
*
Leonhard Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
(1741)
Euler's original publication (in Latin)
Euler's solution of the Königsberg bridge problem in ''Solutio problematis ad geometriam situs pertinentis'' (''The solution of a problem relating to the geometry of position'') is considered to be the first theorem of
graph theory
In mathematics, graph theory is the study of ''graphs'', which are mathematical structures used to model pairwise relations between objects. A graph in this context is made up of '' vertices'' (also called ''nodes'' or ''points'') which are conne ...
.
"On the evolution of random graphs"
*
Paul Erdős
Paul Erdős ( hu, Erdős Pál ; 26 March 1913 – 20 September 1996) was a Hungarian mathematician. He was one of the most prolific mathematicians and producers of mathematical conjectures of the 20th century. pursued and proposed problems in ...
and
Alfréd Rényi
Alfréd Rényi (20 March 1921 – 1 February 1970) was a Hungarian mathematician known for his work in probability theory, though he also made contributions in combinatorics, graph theory, and number theory.
Life
Rényi was born in Budapest to ...
(1960)
Provides a detailed discussion of sparse
random graphs
In mathematics, random graph is the general term to refer to probability distributions over graphs. Random graphs may be described simply by a probability distribution, or by a random process which generates them. The theory of random graphs li ...
, including distribution of components, occurrence of small subgraphs, and phase transitions.
D. R. Fulkerson
Delbert Ray Fulkerson (; August 14, 1924 – January 10, 1976) was an American mathematician who co-developed the FordFulkerson algorithm, one of the most well-known algorithms to solve the maximum flow problem in Flow network, networks.
Early l ...
* ''Flows in Networks''. Prentice-Hall, 1962.
Presents the Ford–Fulkerson algorithm for solving the
maximum flow problem
In optimization theory, maximum flow problems involve finding a feasible flow through a flow network that obtains the maximum possible flow rate.
The maximum flow problem can be seen as a special case of more complex network flow problems, such ...
, along with many ideas on flow-based models.
Computational complexity theory
In theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage, and relating these classes to each other. A computational problem is a task solved by ...
''See
List of important publications in theoretical computer science
This is a list of important publications in theoretical computer science, organized by field.
Some reasons why a particular publication might be regarded as important:
*Topic creator – A publication that created a new topic
*Breakthrough ...
.''
Probability theory and statistics
''See
list of important publications in statistics
This is a list of important publications in statistics, organized by field.
Some reasons why a particular publication might be regarded as important:
*Topic creator – A publication that created a new topic
*Breakthrough – A publicatio ...
.''
Game theory
Game theory is the study of mathematical models of strategic interactions among rational agents. Myerson, Roger B. (1991). ''Game Theory: Analysis of Conflict,'' Harvard University Press, p.&nbs1 Chapter-preview links, ppvii–xi It has appli ...
"Zur Theorie der Gesellschaftsspiele"
*
John von Neumann
John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest cove ...
(1928)
Went well beyond
Émile Borel
Félix Édouard Justin Émile Borel (; 7 January 1871 – 3 February 1956) was a French mathematician
A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems.
Math ...
's initial investigations into strategic two-person game theory by proving the
minimax theorem
In the mathematical area of game theory, a minimax theorem is a theorem providing conditions that guarantee that the max–min inequality is also an equality.
The first theorem in this sense is von Neumann's minimax theorem from 1928, which was c ...
for two-person, zero-sum games.
''
Theory of Games and Economic Behavior
''Theory of Games and Economic Behavior'', published in 1944 by Princeton University Press, is a book by mathematician John von Neumann and economist Oskar Morgenstern which is considered the groundbreaking text that created the interdisciplinar ...
''
*
Oskar Morgenstern
Oskar Morgenstern (January 24, 1902 – July 26, 1977) was an Austrian-American economist. In collaboration with mathematician John von Neumann, he founded the mathematical field of game theory as applied to the social sciences and strategic decis ...
,
John von Neumann
John von Neumann (; hu, Neumann János Lajos, ; December 28, 1903 – February 8, 1957) was a Hungarian-American mathematician, physicist, computer scientist, engineer and polymath. He was regarded as having perhaps the widest cove ...
(1944)
This book led to the investigation of modern game theory as a prominent branch of mathematics. This work contained the method for finding optimal solutions for two-person zero-sum games.
"Equilibrium Points in N-person Games"
*
Nash equilibrium
In game theory, the Nash equilibrium, named after the mathematician John Nash, is the most common way to define the solution of a non-cooperative game involving two or more players. In a Nash equilibrium, each player is assumed to know the equili ...
''
On Numbers and Games
''On Numbers and Games'' is a mathematics book by John Horton Conway first published in 1976. The book is written by a pre-eminent mathematician, and is directed at other mathematicians. The material is, however, developed in a playful and unpre ...
''
*
John Horton Conway
John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many branches ...
(1976)
The book is in two, , parts. The zeroth part is about numbers, the first part about games – both the values of games and also some real games that can be played such as
Nim
Nim is a mathematical two player game.
Nim or NIM may also refer to:
* Nim (programming language)
* Nim Chimpsky, a signing chimpanzee Acronyms
* Network Installation Manager, an IBM framework
* Nuclear Instrumentation Module
* Negative index met ...
,
Hackenbush
Hackenbush is a two-player game invented by mathematician John Horton Conway. It may be played on any configuration of colored line segments connected to one another by their endpoints and to a "ground" line.
Gameplay
The game starts with the p ...
Elwyn Berlekamp
Elwyn Ralph Berlekamp (September 6, 1940 – April 9, 2019) was a professor of mathematics and computer science at the University of California, Berkeley.Contributors, ''IEEE Transactions on Information Theory'' 42, #3 (May 1996), p. 1048. DO10.1 ...
,
John Conway
John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many branches ...
and
Richard K. Guy
Richard Kenneth Guy (30 September 1916 – 9 March 2020) was a British mathematician. He was a professor in the Department of Mathematics at the University of Calgary. He is known for his work in number theory, geometry, recreational mathemati ...
(1982)
A compendium of information on
mathematical games
A mathematical game is a game whose rules, strategies, and outcomes are defined by clear mathematical parameters. Often, such games have simple rules and match procedures, such as Tic-tac-toe and Dots and Boxes. Generally, mathematical games ne ...
. It was first published in 1982 in two volumes, one focusing on
Combinatorial game theory
Combinatorial game theory is a branch of mathematics and theoretical computer science that typically studies sequential games with perfect information. Study has been largely confined to two-player games that have a ''position'' that the players ...
and
surreal numbers
In mathematics, the surreal number system is a totally ordered proper class containing the real numbers as well as infinite and infinitesimal numbers, respectively larger or smaller in absolute value than any positive real number. The surreals s ...
, and the other concentrating on a number of specific games.
Fractal
In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illu ...
Benoît Mandelbrot
Benoit B. Mandelbrot (20 November 1924 – 14 October 2010) was a Polish-born French-American mathematician and polymath with broad interests in the practical sciences, especially regarding what he labeled as "the art of roughness" of phy ...
(1967)
A discussion of self-similar curves that have fractional dimensions between 1 and 2. These curves are examples of fractals, although Mandelbrot does not use this term in the paper, as he did not coin it until 1975.
Shows Mandelbrot's early thinking on fractals, and is an example of the linking of mathematical objects with natural forms that was a theme of much of his later work.
Numerical analysis
Numerical analysis is the study of algorithms that use numerical approximation (as opposed to symbolic computation, symbolic manipulations) for the problems of mathematical analysis (as distinguished from discrete mathematics). It is the study of ...
Optimization
Mathematical optimization (alternatively spelled ''optimisation'') or mathematical programming is the selection of a best element, with regard to some criterion, from some set of available alternatives. It is generally divided into two subfi ...
''Method of Fluxions''
*
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
(1736)
''
Method of Fluxions
''Method of Fluxions'' ( la, De Methodis Serierum et Fluxionum) is a mathematical treatise by Sir Isaac Newton which served as the earliest written formulation of modern calculus. The book was completed in 1671, and published in 1736. Fluxion i ...
'' was a book written by
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
. The book was completed in 1671, and published in 1736. Within this book, Newton describes a method (the
Newton–Raphson method
In numerical analysis, Newton's method, also known as the Newton–Raphson method, named after Isaac Newton and Joseph Raphson, is a root-finding algorithm which produces successively better approximations to the roots (or zeroes) of a real-valu ...
) for finding the real zeroes of a
function
Function or functionality may refer to:
Computing
* Function key, a type of key on computer keyboards
* Function model, a structured representation of processes in a system
* Function object or functor or functionoid, a concept of object-oriente ...
.
''Essai d'une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies''
*
Joseph Louis Lagrange
Joseph-Louis Lagrange (born Giuseppe Luigi Lagrangiacalculus of variations
The calculus of variations (or Variational Calculus) is a field of mathematical analysis that uses variations, which are small changes in functions
and functionals, to find maxima and minima of functionals: mappings from a set of functions t ...
, building upon some of Lagrange's prior investigations as well as those of
Euler
Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
. Contains investigations of minimal surface determination as well as the initial appearance of
Lagrange multipliers
In mathematical optimization, the method of Lagrange multipliers is a strategy for finding the local maxima and minima of a function subject to equality constraints (i.e., subject to the condition that one or more equations have to be satisfied ex ...
.
"Математические методы организации и планирования производства"
*
Leonid Kantorovich
Leonid Vitalyevich Kantorovich ( rus, Леони́д Вита́льевич Канторо́вич, , p=lʲɪɐˈnʲit vʲɪˈtalʲjɪvʲɪtɕ kəntɐˈrovʲɪtɕ, a=Ru-Leonid_Vitaliyevich_Kantorovich.ogg; 19 January 19127 April 1986) was a Soviet ...
(1939) "
he Mathematical Method of Production Planning and Organization
He or HE may refer to:
Language
* He (pronoun), an English pronoun
* He (kana), the romanization of the Japanese kana へ
* He (letter), the fifth letter of many Semitic alphabets
* He (Cyrillic), a letter of the Cyrillic script called ''He'' ...
(in Russian).
Kantorovich wrote the first paper on production planning, which used Linear Programs as the model. He received the Nobel prize for this work in 1975.
"Decomposition Principle for Linear Programs"
*
George Dantzig
George Bernard Dantzig (; November 8, 1914 – May 13, 2005) was an American mathematical scientist who made contributions to industrial engineering, operations research, computer science, economics, and statistics.
Dantzig is known for his dev ...
and P. Wolfe
* Operations Research 8:101–111, 1960.
Dantzig's is considered the father of
linear programming
Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear function#As a polynomial function, li ...
in the western world. He independently invented the
simplex algorithm
In mathematical optimization, Dantzig's simplex algorithm (or simplex method) is a popular algorithm for linear programming.
The name of the algorithm is derived from the concept of a simplex and was suggested by T. S. Motzkin. Simplices are n ...
. Dantzig and Wolfe worked on decomposition algorithms for large-scale linear programs in factory and production planning.
"How Good is the Simplex Algorithm?"
*
Victor Klee
Victor LaRue Klee, Jr. (September 18, 1925 – August 17, 2007) was a mathematician specialising in convex sets, functional analysis, analysis of algorithms, optimization, and combinatorics. He spent almost his entire career at the University of ...
and George J. Minty
*
Klee and Minty gave an example showing that the
simplex algorithm
In mathematical optimization, Dantzig's simplex algorithm (or simplex method) is a popular algorithm for linear programming.
The name of the algorithm is derived from the concept of a simplex and was suggested by T. S. Motzkin. Simplices are n ...
can take exponentially many steps to solve a
linear program
Linear programming (LP), also called linear optimization, is a method to achieve the best outcome (such as maximum profit or lowest cost) in a mathematical model whose requirements are represented by linear relationships. Linear programming is ...
.
"Полиномиальный алгоритм в линейном программировании"
* .
Khachiyan's work on the ellipsoid method. This was the first polynomial time algorithm for linear programming.
Early manuscripts
These are publications that are not necessarily relevant to a mathematician nowadays, but are nonetheless important publications in the
history of mathematics
The history of mathematics deals with the origin of discoveries in mathematics and the mathematical methods and notation of the past. Before the modern age and the worldwide spread of knowledge, written examples of new mathematical developments ...
.
''
Moscow Mathematical Papyrus
The Moscow Mathematical Papyrus, also named the Golenishchev Mathematical Papyrus after its first non-Egyptian owner, Egyptologist Vladimir Golenishchev, is an ancient Egyptian mathematical papyrus containing several problems in arithmetic, geom ...
''
This is one of the earliest mathematical treatises that still survives today. The Papyrus contains 25 problems involving arithmetic, geometry, and algebra, each with a solution given. Written in Ancient Egypt at approximately 1850 BC.
''
Rhind Mathematical Papyrus
The Rhind Mathematical Papyrus (RMP; also designated as papyrus British Museum 10057 and pBM 10058) is one of the best known examples of ancient Egyptian mathematics. It is named after Alexander Henry Rhind, a Scottish antiquarian, who purchased ...
''
*
Ahmes
Ahmes ( egy, jꜥḥ-ms “, a common Egyptian name also transliterated Ahmose) was an ancient Egyptian scribe who lived towards the end of the Fifteenth Dynasty (and of the Second Intermediate Period) and the beginning of the Eighteenth Dynas ...
(
scribe
A scribe is a person who serves as a professional copyist, especially one who made copies of manuscripts before the invention of automatic printing.
The profession of the scribe, previously widespread across cultures, lost most of its promi ...
)
One of the oldest mathematical texts, dating to the
Second Intermediate Period
The Second Intermediate Period marks a period when ancient Egypt fell into disarray for a second time, between the end of the Middle Kingdom and the start of the New Kingdom. The concept of a "Second Intermediate Period" was coined in 1942 by ...
Ahmes
Ahmes ( egy, jꜥḥ-ms “, a common Egyptian name also transliterated Ahmose) was an ancient Egyptian scribe who lived towards the end of the Fifteenth Dynasty (and of the Second Intermediate Period) and the beginning of the Eighteenth Dynas ...
papyrus
Papyrus ( ) is a material similar to thick paper that was used in ancient times as a writing surface. It was made from the pith of the papyrus plant, '' Cyperus papyrus'', a wetland sedge. ''Papyrus'' (plural: ''papyri'') can also refer to a ...
. It laid the foundations of
Egyptian mathematics
Ancient Egyptian mathematics is the mathematics that was developed and used in Ancient Egypt 3000 to c. , from the Old Kingdom of Egypt until roughly the beginning of Hellenistic Egypt. The ancient Egyptians utilized a numeral system for count ...
and in turn, later influenced Greek and Hellenistic mathematics. Besides describing how to obtain an approximation of π only missing the mark by less than one per cent, it is describes one of the earliest attempts at
squaring the circle
Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a circle by using only a finite number of steps with a compass and straightedge. The difficulty ...
and in the process provides persuasive evidence against the theory that the
Egyptians
Egyptians ( arz, المَصرِيُون, translit=al-Maṣriyyūn, ; arz, المَصرِيِين, translit=al-Maṣriyyīn, ; cop, ⲣⲉⲙⲛ̀ⲭⲏⲙⲓ, remenkhēmi) are an ethnic group native to the Nile, Nile Valley in Egypt. Egyptian ...
deliberately built their
pyramid
A pyramid (from el, πυραμίς ') is a structure whose outer surfaces are triangular and converge to a single step at the top, making the shape roughly a pyramid in the geometric sense. The base of a pyramid can be trilateral, quadrilat ...
s to enshrine the value of π in the proportions. Even though it would be a strong overstatement to suggest that the papyrus represents even rudimentary attempts at analytical geometry, Ahmes did make use of a kind of an analogue of the
cotangent
In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
.
''
Archimedes Palimpsest
The Archimedes Palimpsest is a parchment codex palimpsest, originally a Byzantine Greek copy of a compilation of Archimedes and other authors. It contains two works of Archimedes that were thought to have been lost (the ''Ostomachion'' and the ' ...
''
*
Archimedes of Syracuse
Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists ...
Although the only mathematical tools at its author's disposal were what we might now consider secondary-school
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is c ...
, he used those methods with rare brilliance, explicitly using
infinitesimal
In mathematics, an infinitesimal number is a quantity that is closer to zero than any standard real number, but that is not zero. The word ''infinitesimal'' comes from a 17th-century Modern Latin coinage ''infinitesimus'', which originally referr ...
s to solve problems that would now be treated by integral calculus. Among those problems were that of the
center of gravity
In physics, the center of mass of a distribution of mass in space (sometimes referred to as the balance point) is the unique point where the weight function, weighted relative position (vector), position of the distributed mass sums to zero. Thi ...
of a solid hemisphere, that of the center of gravity of a frustum of a circular paraboloid, and that of the area of a region bounded by a
parabola
In mathematics, a parabola is a plane curve which is mirror-symmetrical and is approximately U-shaped. It fits several superficially different mathematical descriptions, which can all be proved to define exactly the same curves.
One descript ...
and one of its secant lines. For explicit details of the method used, see
Archimedes' use of infinitesimals
''The Method of Mechanical Theorems'' ( el, Περὶ μηχανικῶν θεωρημάτων πρὸς Ἐρατοσθένη ἔφοδος), also referred to as ''The Method'', is one of the major surviving works of the ancient Greek polymath Ar ...
.
''
The Sand Reckoner
''The Sand Reckoner'' ( el, Ψαμμίτης, ''Psammites'') is a work by Archimedes, an Ancient Greek mathematician of the 3rd century BC, in which he set out to determine an upper bound for the number of grains of sand that fit into the unive ...
''
*
Archimedes of Syracuse
Archimedes of Syracuse (;; ) was a Greek mathematician, physicist, engineer, astronomer, and inventor from the ancient city of Syracuse in Sicily. Although few details of his life are known, he is regarded as one of the leading scientists ...
Abstract Algebra
In mathematics, more specifically algebra, abstract algebra or modern algebra is the study of algebraic structures. Algebraic structures include groups, rings, fields, modules, vector spaces, lattices, and algebras over a field. The term ''a ...
Mihalj Šilobod Bolšić
Mihalj Šilobod Bolšić (1 November 1724 – 4 April 1787) was a Croatian Roman Catholic priest, mathematician, writer, and musical theorist primarily known for writing the first Croatian arithmetics textbook '' Arithmetika Horvatzka'' (publishe ...
''Arithmetika Horvatzka'' (1758) was the first Croatian language arithmetic textbook, written in the vernacular
Kajkavian
Kajkavian (Kajkavian noun: ''kajkavščina''; Shtokavian adjective: ''kajkavski'' , noun: ''kajkavica'' or ''kajkavština'' ) is a South Slavic regiolect or language spoken primarily by Croats in much of Central Croatia, Gorski Kotar and nort ...
dialect of
Croatian language
Croatian (; ' ) is the standardized variety of the Serbo-Croatian pluricentric language used by Croats, principally in Croatia, Bosnia and Herzegovina, the Serbian province of Vojvodina, and other neighboring countries. It is the official ...
. It established a complete system of
arithmetic
Arithmetic () is an elementary part of mathematics that consists of the study of the properties of the traditional operations on numbers— addition, subtraction, multiplication, division, exponentiation, and extraction of roots. In the 19th ...
terminology in Croatian, and vividly used examples from everyday life in
Croatia
, image_flag = Flag of Croatia.svg
, image_coat = Coat of arms of Croatia.svg
, anthem = "Lijepa naša domovino"("Our Beautiful Homeland")
, image_map =
, map_caption =
, capit ...
to present mathematical operations. Although it was clear that Šilobod had made use of words that were in dictionaries, this was clearly insufficient for his purposes; and he made up some names by adapting
Latin
Latin (, or , ) is a classical language belonging to the Italic branch of the Indo-European languages. Latin was originally a dialect spoken in the lower Tiber area (then known as Latium) around present-day Rome, but through the power of the ...
Synopsis of Pure Mathematics
''Synopsis of Pure Mathematics'' is a book by G. S. Carr, written in 1886. The book attempted to summarize the state of most of the basic mathematics known at the time.
The book is noteworthy because it was a major source of information for the l ...
''
*
G. S. Carr
George Shoobridge Carr (1837–1914) was a British mathematician. He wrote ''Synopsis of Pure Mathematics'' (1886). This book, first published in England in 1880, was read and studied closely by mathematician Srinivasa Ramanujan when he was a t ...
Contains over 6000 theorems of mathematics, assembled by George Shoobridge Carr for the purpose of training his students for the Cambridge Mathematical Tripos exams. Studied extensively by Ramanujan (first half here)
''
Éléments de mathématique
''Éléments de mathématique'' (English: ''Elements of Mathematics'') is a series of mathematics books written by the pseudonymous French collective Nicolas Bourbaki. Begun in 1939, the series has been published in several volumes, and remain ...
''
*
Nicolas Bourbaki
Nicolas Bourbaki () is the collective pseudonym of a group of mathematicians, predominantly French alumni of the École normale supérieure (Paris), École normale supérieure - PSL (ENS). Founded in 1934–1935, the Bourbaki group originally in ...
One of the most influential books in French mathematical literature. It introduces some of the notations and definitions that are now usual (the symbol ∅ or the term bijective for example). Characterized by an extreme level of rigour, formalism and generality (up to the point of being highly criticized for that), its publication started in 1939 and is still unfinished today.
Robert Recorde
Robert Recorde () was an Anglo-Welsh physician and mathematician. He invented the equals sign (=) and also introduced the pre-existing plus and minus signs, plus sign (+) to English speakers in 1557.
Biography
Born around 1512, Robert Recorde w ...
Written in 1542, it was the first really popular arithmetic book written in the English Language.
''
Cocker's Arithmetick
''Cocker's Arithmetick'', also known by its full title "Cocker's Arithmetick: Being a Plain and Familiar Method Suitable to the Meanest Capacity for the Full Understanding of That Incomparable Art, As It Is Now Taught by the Ablest School-Masters ...
''
*
Edward Cocker
Edward Cocker (163122 August 1676) was an English engraver, who also taught writing and arithmetic.
Cocker was the reputed author of the famous ''Arithmetick'', the popularity of which has added a phrase ("according to Cocker") to the list of ...
(authorship disputed)
Textbook of arithmetic published in 1678 by John Hawkins, who claimed to have edited manuscripts left by Edward Cocker, who had died in 1676. This influential mathematics textbook used to teach arithmetic in schools in the United Kingdom for over 150 years.
Thomas Dilworth The Reverend Mr. Thomas Dilworth (died 1780) was an English cleric and author of a widely used schoolbook, both in Great Britain and America, ''A New Guide to the English Tongue.'' Noah Webster as a boy studied Dilworth's book, and was inspired par ...
An early and popular English arithmetic textbook published in
America
The United States of America (U.S.A. or USA), commonly known as the United States (U.S. or US) or America, is a country primarily located in North America. It consists of 50 states, a federal district, five major unincorporated territorie ...
in the 18th century. The book reached from the introductory topics to the advanced in five sections.
''Geometry''
* Andrei Kiselyov
Publication data: 1892
The most widely used and influential textbook in Russian mathematics. (See Kiselyov page.)
''
A Course of Pure Mathematics
''A Course of Pure Mathematics'' is a classic textbook in introductory mathematical analysis, written by G. H. Hardy. It is recommended for people studying calculus. First published in 1908, it went through ten editions (up to 1952) and several re ...
''
*
G. H. Hardy
Godfrey Harold Hardy (7 February 1877 – 1 December 1947) was an English mathematician, known for his achievements in number theory and mathematical analysis. In biology, he is known for the Hardy–Weinberg principle, a basic principle of pop ...
A classic textbook in introductory
mathematical analysis
Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...
, written by
G. H. Hardy
Godfrey Harold Hardy (7 February 1877 – 1 December 1947) was an English mathematician, known for his achievements in number theory and mathematical analysis. In biology, he is known for the Hardy–Weinberg principle, a basic principle of pop ...
. It was first published in 1908, and went through many editions. It was intended to help reform mathematics teaching in the UK, and more specifically in the
University of Cambridge
, mottoeng = Literal: From here, light and sacred draughts.
Non literal: From this place, we gain enlightenment and precious knowledge.
, established =
, other_name = The Chancellor, Masters and Schola ...
, and in schools preparing pupils to study mathematics at Cambridge. As such, it was aimed directly at "scholarship level" students – the top 10% to 20% by ability. The book contains a large number of difficult problems. The content covers introductory
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 the theory of
infinite series
In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
.
''
Moderne Algebra
''Moderne Algebra'' is a two-volume German textbook on graduate abstract algebra by , originally based on lectures given by Emil Artin in 1926 and by from 1924 to 1928. The English translation of 1949–1950 had the title ''Modern algebra'', tho ...
''
*
B. L. van der Waerden
Bartel Leendert van der Waerden (; 2 February 1903 – 12 January 1996) was a Dutch mathematician and historian of mathematics.
Biography
Education and early career
Van der Waerden learned advanced mathematics at the University of Amsterd ...
The first introductory textbook (graduate level) expounding the abstract approach to algebra developed by Emil Artin and Emmy Noether. First published in German in 1931 by Springer Verlag. A later English translation was published in 1949 by
Frederick Ungar Publishing Company
Frederick Ungar Publishing Company was a New York publishing firm which was founded in 1940.
History
The Frederick Ungar Publishing Company published over 2,000 titles, including reference books such as the ''Encyclopedia of World Literature in ...
.
''
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 a ...
''
*
Saunders Mac Lane
Saunders Mac Lane (4 August 1909 – 14 April 2005) was an American mathematician who co-founded category theory with Samuel Eilenberg.
Early life and education
Mac Lane was born in Norwich, Connecticut, near where his family lived in Taftvill ...
and
Garrett Birkhoff
Garrett Birkhoff (January 19, 1911 – November 22, 1996) was an American mathematician. He is best known for his work in lattice theory.
The mathematician George Birkhoff (1884–1944) was his father.
Life
The son of the mathematician Geo ...
A definitive introductory text for abstract algebra using a
category theoretic
Category theory is a general theory of mathematical structures and their relations that was introduced by Samuel Eilenberg and Saunders Mac Lane in the middle of the 20th century in their foundational work on algebraic topology. Nowadays, categ ...
approach. Both a rigorous introduction from first principles, and a reasonably comprehensive survey of the field.
''Calculus, Vol. 1''
*
Tom M. Apostol
Tom Mike Apostol (August 20, 1923 – May 8, 2016) was an American analytic number theorist and professor at the California Institute of Technology, best known as the author of widely used mathematical textbooks.
Life and career
Apostol was bor ...
''
Algebraic Geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical ...
''
*
Robin Hartshorne
__NOTOC__
Robin Cope Hartshorne ( ; born March 15, 1938) is an American mathematician who is known for his work in algebraic geometry.
Career
Hartshorne was a Putnam Fellow in Fall 1958 while he was an undergraduate at Harvard University (under ...
The first comprehensive introductory (graduate level) text in algebraic geometry that used the language of schemes and cohomology. Published in 1977, it lacks aspects of the scheme language which are nowadays considered central, like the
functor of points In algebraic geometry, a functor represented by a scheme ''X'' is a set-valued contravariant functor on the category of schemes such that the value of the functor at each scheme ''S'' is (up to natural bijections) the set of all morphisms S \to X. T ...
.
''
Naive Set Theory
Naive set theory is any of several theories of sets used in the discussion of the foundations of mathematics.
Unlike Set theory#Axiomatic set theory, axiomatic set theories, which are defined using Mathematical_logic#Formal_logical_systems, forma ...
''
*
Paul Halmos
Paul Richard Halmos ( hu, Halmos Pál; March 3, 1916 – October 2, 2006) was a Hungarian-born American mathematician and statistician who made fundamental advances in the areas of mathematical logic, probability theory, statistics, operator ...
An undergraduate introduction to not-very-naive set theory which has lasted for decades. It is still considered by many to be the best introduction to set theory for beginners. While the title states that it is naive, which is usually taken to mean without axioms, the book does introduce all the axioms of
Zermelo–Fraenkel set theory
In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as ...
and gives correct and rigorous definitions for basic objects. Where it differs from a "true" axiomatic set theory book is its character: There are no long-winded discussions of axiomatic minutiae, and there is next to nothing about topics like
large cardinal
In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very "large" (for example, bigger than the least ...
s. Instead it aims, and succeeds, in being intelligible to someone who has never thought about set theory before.
''
Cardinal and Ordinal Numbers
''Cardinal and Ordinal Numbers'' is a book on transfinite numbers, by Polish mathematician Wacław Sierpiński. It was published in 1958 by Państwowe Wydawnictwo Naukowe, as volume 34 of the series Monografie Matematyczne of the Institute of Mathe ...
''
*
Wacław Sierpiński
Wacław Franciszek Sierpiński (; 14 March 1882 – 21 October 1969) was a Polish mathematician. He was known for contributions to set theory (research on the axiom of choice and the continuum hypothesis), number theory, theory of functions, and to ...
The ''nec plus ultra'' reference for basic facts about cardinal and ordinal numbers. If you have a question about the cardinality of sets occurring in everyday mathematics, the first place to look is this book, first published in the early 1950s but based on the author's lectures on the subject over the preceding 40 years.
Kenneth Kunen
Herbert Kenneth Kunen (August 2, 1943August 14, 2020) was a professor of mathematics at the University of Wisconsin–Madison who worked in set theory and its applications to various areas of mathematics, such as set-theoretic topology and ...
This book is not really for beginners, but graduate students with some minimal experience in set theory and formal logic will find it a valuable self-teaching tool, particularly in regard to forcing. It is far easier to read than a true reference work such as Jech, ''Set Theory''. It may be the best textbook from which to learn forcing, though it has the disadvantage that the exposition of forcing relies somewhat on the earlier presentation of Martin's axiom.
''Topologie''
*
Pavel Sergeevich Alexandrov
Pavel Sergeyevich Alexandrov (russian: Па́вел Серге́евич Алекса́ндров), sometimes romanized ''Paul Alexandroff'' (7 May 1896 – 16 November 1982), was a Soviet mathematician. He wrote about three hundred papers, ma ...
*
Heinz Hopf
Heinz Hopf (19 November 1894 – 3 June 1971) was a German mathematician who worked on the fields of topology and geometry.
Early life and education
Hopf was born in Gräbschen, Germany (now , part of Wrocław, Poland), the son of Elizabeth ( ...
First published round 1935, this text was a pioneering "reference" text book in topology, already incorporating many modern concepts from set-theoretic topology, homological algebra and homotopy theory.
''General Topology''
* John L. Kelley
First published in 1955, for many years the only introductory graduate level textbook in the US, teaching the basics of point set, as opposed to algebraic, topology. Prior to this the material, essential for advanced study in many fields, was only available in bits and pieces from texts on other topics or journal articles.
''Topology from the Differentiable Viewpoint''
*
John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook Uni ...
This short book introduces the main concepts of differential topology in Milnor's lucid and concise style. While the book does not cover very much, its topics are explained beautifully in a way that illuminates all their details.
''
Number Theory, An approach through history from Hammurapi to Legendre
''Number Theory: An Approach Through History from Hammurapi to Legendre'' is a book on the history of number theory, written by André Weil and published in 1984.
The book reviews over three millennia of research on numbers but the key focus is on ...
''
*
André Weil
André Weil (; ; 6 May 1906 – 6 August 1998) was a French mathematician, known for his foundational work in number theory and algebraic geometry. He was a founding member and the ''de facto'' early leader of the mathematical Bourbaki group. Th ...
An historical study of number theory, written by one of the 20th century's greatest researchers in the field. The book covers some thirty six centuries of arithmetical work but the bulk of it is devoted to a detailed study and exposition of the work of Fermat, Euler, Lagrange, and Legendre. The author wishes to take the reader into the workshop of his subjects to share their successes and failures. A rare opportunity to see the historical development of a subject through the mind of one of its greatest practitioners.
''An Introduction to the Theory of Numbers''
*
G. H. Hardy
Godfrey Harold Hardy (7 February 1877 – 1 December 1947) was an English mathematician, known for his achievements in number theory and mathematical analysis. In biology, he is known for the Hardy–Weinberg principle, a basic principle of pop ...
and
E. M. Wright
Sir Edward Maitland Wright (13 February 1906, Farnley – 2 February 2005, Reading) was an English mathematician, best known for co-authoring ''An Introduction to the Theory of Numbers'' with G. H. Hardy.
Career
He was born in Farnl ...
''
An Introduction to the Theory of Numbers
''An Introduction to the Theory of Numbers'' is a classic textbook in the field of number theory, by G. H. Hardy and E. M. Wright
Sir Edward Maitland Wright (13 February 1906, Farnley – 2 February 2005, Reading) was an English mathema ...
'' was first published in 1938, and is still in print, with the latest edition being the 6th (2008). It is likely that almost every serious student and researcher into number theory has consulted this book, and probably has it on their bookshelf. It was not intended to be a textbook, and is rather an introduction to a wide range of differing areas of number theory which would now almost certainly be covered in separate volumes. The writing style has long been regarded as exemplary, and the approach gives insight into a variety of areas without requiring much more than a good grounding in algebra, calculus and complex numbers.
''
Foundations of Differential Geometry
''Foundations of Differential Geometry'' is an influential 2-volume mathematics book on differential geometry written by Shoshichi Kobayashi and Katsumi Nomizu. The first volume was published in 1963 and the second in 1969, by Interscience Publishe ...
''
*
Shoshichi Kobayashi
was a Japanese mathematician. He was the eldest brother of electrical engineer and computer scientist Hisashi Kobayashi. His research interests were in Riemannian and complex manifolds, transformation groups of geometric structures, and Lie alge ...
and
Katsumi Nomizu
was a Japanese-American mathematician known for his work in differential geometry.
Life and career
Nomizu was born in Osaka, Japan on the first day of December, 1924. He studied mathematics at Osaka University, graduating in 1947 with a Ma ...
(1963; 1969)
''Hodge Theory and Complex Algebraic Geometry I''
''Hodge Theory and Complex Algebraic Geometry II''
*
Claire Voisin
Claire Voisin (born 4 March 1962) is a French mathematician known for her work in algebraic geometry. She is a member of the French Academy of Sciences and holds the chair of Algebraic Geometry at the Collège de France.
Work
She is noted for ...
Popular writings
''Gödel, Escher, Bach''
*
Douglas Hofstadter
Douglas Richard Hofstadter (born February 15, 1945) is an American scholar of cognitive science, physics, and comparative literature whose research includes concepts such as the sense of self in relation to the external world, consciousness, an ...
''
Gödel, Escher, Bach
''Gödel, Escher, Bach: an Eternal Golden Braid'', also known as ''GEB'', is a 1979 book by Douglas Hofstadter.
By exploring common themes in the lives and works of logician Kurt Gödel, artist M. C. Escher, and composer Johann Sebastian Bach, t ...
: an Eternal Golden Braid'' is a Pulitzer Prize-winning book, first published in 1979 by Basic Books.
It is a book about how the creative achievements of logician Kurt Gödel, artist M. C. Escher and composer Johann Sebastian Bach interweave. As the author states: "I realized that to me, Gödel and Escher and Bach were only shadows cast in different directions by some central solid essence. I tried to reconstruct the central object, and came up with this book."
The World of Mathematics
James Roy Newman (1907–1966) was an American mathematician and mathematical historian. He was also a lawyer, practicing in the state of New York from 1929 to 1941. During and after World War II, he held several positions in the United States g ...
'' was specially designed to make mathematics more accessible to the inexperienced. It comprises nontechnical essays on every aspect of the vast subject, including articles by and about scores of eminent mathematicians, as well as literary figures, economists, biologists, and many other eminent thinkers. Includes the work of Archimedes, Galileo, Descartes, Newton, Gregor Mendel, Edmund Halley, Jonathan Swift, John Maynard Keynes, Henri Poincaré, Lewis Carroll, George Boole, Bertrand Russell, Alfred North Whitehead, John von Neumann, and many others. In addition, an informative commentary by distinguished scholar James R. Newman precedes each essay or group of essays, explaining their relevance and context in the history and development of mathematics. Originally published in 1956, it does not include many of the exciting discoveries of the later years of the 20th century but it has no equal as a general historical survey of important topics and applications.
See also
*
References
{{DEFAULTSORT:Important Publications in Mathematics
Publications
To publish is to make content available to the general public.Berne Conve ...
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...