Showing posts with label Mathematicians. Show all posts
Showing posts with label Mathematicians. Show all posts

Wednesday, March 23, 2016

David Hilbert

Born             1862

Died             1943
Country        Prussia, Germany


Hilbert, often considered the greatest mathematician of the 20th century, was unequaled in many fields of mathematics, including axiomatic theory, invariant theory, algebraic number theory, class field theory and functional analysis. He proved many new theorems, including the fundamental theorems of algebraic manifolds, and also discovered simpler proofs for older theorems. His examination of calculus led him to the invention of Hilbert space, considered one of the key concepts of functional analysis and modern mathematical physics. His Nullstellensatz Theorem laid the foundation of algebraic geometry. He was a founder of fields like metamathematics and modern logic. He was also the founder of the "Formalist" school which opposed the "Intuitionism" of Kronecker and Brouwer. He developed a new system of definitions and axioms for geometry, replacing the 2200 year-old system of Euclid. As a young Professor he proved his Finite Basis Theorem, now regarded as one of the most important results of general algebra. His mentor, Paul Gordan, had sought the proof for many years, and rejected Hilbert's proof as non-constructive. Later, Hilbert produced the first constructive proof of the Finite Basis Theorem, as well. In number theory, he proved Waring's famous conjecture which is now known as the Hilbert-Waring Theorem.
Any one man can only do so much, so the greatest mathematicians should help nurture their colleagues. Hilbert provided a famous List of 23 Unsolved Problems, which inspired and directed the development of 20th-century mathematics. Hilbert was warmly regarded by his colleagues and students, and contributed to the careers of several great mathematicians and physicists including Georg Cantor, Hermann Minkowski, Hermann Weyl, John von Neumann, Emmy Noether, Alonzo Church, and Albert Einstein.
Eventually Hilbert turned to physics and made key contributions to classical and quantum physics and to general relativity. He published the Einstein Field Equations independently of Einstein (though his writings make clear he treats this as strictly Einstein's invention).

Hippocrates of Chios

Born              :  ca 470
Died              : 410 BC
Country         : Greece


Hippocrates (no known relation to Hippocrates of Cos, the famous physician) wrote his own Elements more than a century before Euclid. Only fragments survive but it apparently used axiomatic-based proofs similar to Euclid's and contains many of the same theorems. Hippocrates is said to have invented the reductio ad absurdem proof method. Hippocrates is most famous for his work on the three ancient geometric quandaries: his work on cube-doubling (the Delian Problem) laid the groundwork for successful efforts by Archytas and others; his circle quadrature was of course ultimately unsuccessful but he did prove ingenious theorems about "lunes" (certain circle fragments); and some claim Hippocrates was first to trisect the general angle. Hippocrates also did work in algebra and rudimentary analysis.

(Doubling the cube and angle trisection are often called "impossible," but they are impossible only when restricted to compass and unmarkable straightedge. There are ingenious solutions available with other tools. Construction of the regular heptagon is an
other such task, with solutions published by four of the men on this List.)

Monday, March 21, 2016

Apastambha

Born                :ca 630
Died                :560 BC
Nationality      :   India


The Dharmasutra composed by Apastambha contains mensuration techniques, novel geometric construction techniques, a method of elementary algebra, and what may be the first known proof of the Pythagorean Theorem. Apastambha's work uses the excellent (continued fraction) approximation √2 ≈ 577/408, a result probably derived with a geometric argument.
Apastambha built on the work of earlier Vedic scholars, especially Baudhayana, as well as Harappan and (probably) Mesopotamian mathematicians. His notation and proofs were primitive, and there is little certainty about his life. However similar comments apply to Thales of Miletus, so it seems fair to mention Apastambha (who was perhaps the most creative Vedic mathematician before Panini) along with Thales as one of the earliest mathematicians whose name is known.

Tuesday, March 15, 2016

GLOSSARY OF MATHEMATICAL TERMS


 GLOSSARY OF MATHEMATICAL TERMS
This is not a comprehensive dictionary of mathematical terms, just a quick reference for some of the terms commonly used in this website. More detailed glossaries can be found at http://www.cut-the-knot.org/glossary/atop.shtml and http://thesaurus.maths.org/mmkb/alphabetical.html (among others).
A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   X   Y   Z
ABack to Top
abstract algebra: the area of modern mathematics that considers algebraic structures to be sets with operations defined on them, and extends algebraic concepts usually associated with the real number system to other more general systems, such as groups, rings, fields, modules and vector spaces
algebra: a branch of mathematics that uses symbols or letters to represent variables, values or numbers, which can then be used to express operations and relationships and to solve equations
algebraic expression: a combination of numbers and letters equivalent to a phrase in language, e.g. x2 + 3x- 4
algebraic equation: a combination of numbers and letters equivalent to a sentence in language, e.g. y = x2+ 3x - 4
algorithm: a step by step procedure by which an operation can be carried out
amicable numbers: pairs of numbers for which the sum of the divisors of one number equals the other number, e.g. 220 and 284, 1184 and 1210
analytic (Cartesian) geometry: the study of geometry using a coordinate system and the principles of algebra and analysis, thus defining geometrical shapes in a numerical way and extracting numerical information from that representation
analysis (mathematical analysis): grounded in the rigorous formulation of calculus, analysis is the branch of pure mathematics concerned with the notion of a limit (whether of a sequence or of a function)
arithmetic: the part of mathematics that studies quantity, especially as the result of combining numbers (as opposed to variables) using the traditional operations of addition, subtraction, multiplication and division (the more advanced manipulation of numbers is usually known as number theory)
associative property: property (which applies both to multiplication and addition) by which numbers can be added or multiplied in any order and still yield the same value, e.g. (a + b) + c = a + (b + c) or (ab)c = a(bc)
asymptote: a line that the curve of a function tends towards as the independent variable of the curve approaches some limit (usually infinity) i.e. the distance between the curve and the line approaches zero
axiom: a proposition that is not actually proved or demonstrated, but is considered to be self-evident and universally accepted as a starting point for deducing and inferring other truths and theorems, without any need of proof
BBack to Top
base n: the number of unique digits (including zero) that a positional numeral system uses to represent numbers, e.g. base 10 (decimal) uses 0, 1, 2, 3, 4, 5, 6, 7, 8 and 9 in each place value position; base 2 (binary) uses just 0 and 1; base 60 (sexagesimal, as used in ancient Mesopotamia) uses all the numbers from 0 to 59; etc
Bayesian probability: a popular interpretation of probability which evaluates the probability of a hypothesis by specifying some prior probability, and then updating in the light of new relevant data
bell curve: the shape of the graph that indicates a normal distribution in probability and statistics
bijection: a one-to-one comparison or correspondence of the members of two sets, so that there are no unmapped elements in either set, which are therefore of the same size and cardinality
binomial: a polynomial algebraic expression or equation with just two terms, e.g. 2x3 - 3y = 7; x2 + 4x; etc
binomial coefficients: the coefficients of the polynomial expansion of a binomial power of the form (x + y) n, which can be arranged geometrically according to the binomioal theorem as a symmetrical triangle of numbers known as Pascal’s Triangle, e.g. (x + y)4 = x4 + 4x3y + 6x2y2 + 4xy3 + y4 the coefficients are 1, 4, 6, 4, 1
Boolean algebra or logic: a type of algebra which can be applied to the solution of logical problems and mathematical functions, in which the variables are logical rather than numerical, and in which the only operators are AND, OR and NOT
CBack to Top
calculus (infinitesimal calculus): a branch of mathematics involving derivatives and integrals, used to study motion and changing values
calculus of variations: an extension of calculus used to search for a function which minimizes a certain functional (a functional is a function of a function)
cardinal numbers: numbers used to measure the cardinality or size (but not the order) of sets - the cardinality of a finite set is just a natural number indicating the number of elements in the set; the sizes of infinite sets are described by transfinite cardinal numbers, 0 (aleph-null), 1 (aleph-one), etc
Cartesian coordinates: a pair of numerical coordinates which specify the position of a point on a plane based on its distance from the the two fixed perpendicular axes (which, with their positive and negative values, split the plane up into four quadrants)
coefficients: the factors of the terms (i.e. the numbers in front of the letters) in a mathematical expression or equation, e.g. in the expression 4x + 5y2 + 3z, the coefficients for xy2 and z are 4, 5 and 3 respectively
combinatorics: the study of different combinations and groupings of numbers, often used in probability and statistics, as well as in scheduling problems and Sudoku puzzles
complex dynamics: the study of mathematical models and dynamical systems defined by iteration of functions on complex number spaces
complex number: a number expressed as an ordered pair comprising a real number and an imaginary number, written in the form a + bi, where a and b are real numbers, and i is the imaginary unit (equal to the square root of -1)
composite number: a number with at least one other factor besides itself and one, i.e. not a prime number
congruence: two geometrical figures are congruent to one another if they have the same size and shape, and so one can be transformed into the other by a combination of translation, rotation and reflection
conic section: the section or curve formed by the intersection of a plane and a cone (or conical surface), depending on the angle of the plane it could be an ellipse, a hyperbola or a parabola
continued fraction: a fraction whose denominator contains a fraction, whose denominator in turn contains a fraction, etc, etc
coordinate: the ordered pair that gives the location or position of a point on a coordinate plane, determined by the point’s distance from the x and y axes, e.g. (2, 3.7) or (-5, 4)
coordinate plane: a plane with two scaled perpendicular lines that intersect at the origin, usually designatedx (horizontal axis) and y (vertical axis)
correlation: a measure of relationship between two variables or sets of data, a positive correlation coefficient indicating that one variable tends to increase or decrease as the other does, and a negative correlation coefficient indicating that one variable tends to increase as the other decreases and vice versa
cubic equation: a polynomial having a degree of 3 (i.e. the highest power is 3), of the form ax3 + bx2 + cx + d= 0, which can be solved by factorization or formula to find its three roots
DBack to Top
decimal number: a real number which expresses fractions on the base 10 standard numbering system using place value, e.g. 37100 = 0.37
deductive reasoning or logic: a type of reasoning where the truth of a conclusion necessarily follows from, or is a logical consequence of, the truth of the premises (as opposed to inductive reasoning)
derivative: a measure of how a function or curve changes as its input changes, i.e. the best linear approximation of the function at a particular input value, as represented by the slope of the tangent line to the graph of the function at that point, found by the operation of differentiation
descriptive geometry: a method of representing three-dimensional objects by projections on the two-dimensional plane using a specific set of procedures
differential equation: an equation that expresses a relationship between a function and its derivative, the solution of which is not a single value but a function (has many applications in engineering, physics economics, etc)
differential geometry: a field of mathematics that uses the methods of differential and integral calculus (as well as linear and multilinear algebra) to study the geometry of curves and surfaces
differentiation: the operation in calculus (inverse to the operation of integration) of finding the derivative of a function or equation
Diophantine equation: a polynomial equation with integer coefficients that also allows the variables and solutions to be integers only
distributive property: property whereby summing two numbers and then multiplying by another number yields the same value as multiplying both values by the other value and then adding them together, e.g. a(b +c) = ab + ac
EBack to Top
element: a member of, or an object in, a set
ellipse: a plane curve resulting from the intersection of a cone by a plane, that looks like a slightly flattened circle (a circle is a special case of an ellipse)
elliptic geometry: a non-Euclidean geometry based (at its simplest) on a spherical plane, in which there are no parallel lines and the angles of a triangle sum to more than 180°
empty (null) set: a set that has no members, and therefore has zero size, usually represented by {} or ø
Euclidean geometry: “normal” geometry based on a flat plane, in which there are parallel lines and the angles of a triangle sum to 180°
expected value: the amount predicted to be gained, using the calculation for average expected payoff, which can be calculated as the integral of a random variable with respect to its probability measure (the expected value may not actually be the most probable value and may not even exist, e.g. 2.5 children)
exponentiation: the mathematical operation where a number (the base) is multiplied by itself a specified number of times (the exponent), usually written as a superscript an, where a is the base and n is the exponent, e.g. 43 = 4 x 4 x 4
FBack to Top
factor: a number that will divide into another number exactly, e.g. the factors of 10 are 1, 2 and 5
factorial: the product of all the consecutive integers up to a given number (used to give the number of permutations of a set of objects), denoted by n!, e.g. 5! = 1 x 2 x 3 x 4 x 5 = 120
Fermat primes: prime numbers that are one more than a power of 2 (and where the exponent is itself a power of 2), e.g. 3 (21 + 1), 5 (22 + 1), 17 (24 + 1), 257 (28 + 1), 65,537 (216 + 1), etc
Fibonacci numbers (series): a set of numbers formed by adding the last two numbers to get the next in the series: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...
finite differences: a method of approximating the derivative or slope of a function using approximately equivalent difference quotients (the function difference divided by the point difference) for small differences
formula: a rule or equation describing the relationship of two or more variables or quantities, e.g. A = πr2
Fourier series: an approximation of more complex periodic functions (such as square or saw-tooth functions) by adding together various simple trigonometric functions (e.g. sine, cosine, tangent, etc)
fraction: a way of writing rational numbers (numbers that are not whole numbers), also used to represent ratios or division, in the form of a numerator over a denominator, e.g. 35 (a unit fraction is a fraction whose numerator is 1)
fractal: a self-similar geometric shape (one that appears similar at all levels of magnification) produced by an equation that undergoes repeated iterative steps or recursion
function: a relation or correspondence between two sets in which one element of the second (codomain or range) set ƒ(x) is assigned to each element of the first (domain) set x, e.g. ƒ(x) = x2 or y = x2 assigns a value to ƒ(x) or y based on the square of each value of x
GBack to Top
game theory: a branch of mathematics that attempts to mathematically capture behaviour in strategic situations, in which an individual's success in making choices depends on the choices of others, with applications in the areas of economics, politics, biology, engineering, etc
Gaussian curvature: an intrinsic measure of the curvature of a point on a surface, dependent only on how distances are measured on the surface and not on the way it is embedded in space
geometry: the part of mathematics concerned with the size, shape and relative position of figures, or the study of lines, angles, shapes and their properties
golden ratio (golden mean, divine proportion): the ratio of two quantities (equivalent to approximately 1 : 1.6180339887) where the ratio of the sum of the quantities to the larger quantity equals the ratio of the larger quantity to the smaller one, usually denoted by the Greek letter phi φ (phi)
graph theory: a branch of mathematics focusing on the properties of a variety of graphs (meaning visual representations of data and their relationships, as opposed to graphs of functions on a Cartesian plane)
group: a mathematical structure consisting of a set together with an operation that combines any two of its elements to form a third element, e.g. the set of integers and the addition operation form a group
group theory: the mathematical field that studies the algebraic structures and properties of groups and the mappings between them
HBack to Top
Hilbert problems: an influential list of 23 open (unsolved) problems in mathematics described by David Hilbert in 1900
hyperbola: a smooth symmetrical curve with two branches produced by the section of a conical surface
hyperbolic geometry: a non-Euclidean geometry based on a saddle-shaped plane, in which there are no parallel lines and the angles of a triangle sum to less than 180°
IBack to Top
identity: an equality that remains true regardless of the values of any variables that appear within it, e.g. for multiplication, the identity is one; for addition, the identity is zero
imaginary numbers: numbers in the form bi, where b is a real number and i is the “imaginary unit”, equal to √-1 (i.e. i2 = -1)
inductive reasoning or logic: a type of reasoning that involves moving from a set of specific facts to a general conclusion, indicating some degree of support for the conclusion without actually ensuring its truth
infinite series: the sum of an infinite sequence of numbers (which are usually produced according to a certain rule, formula or algorithm)
infinitesimal: quantities or objects so small that there is no way to see them or to measure them, so that for all practical purposes they approach zero as a limit (an idea used in the developement of infinitesimal calculus)
infinity: a quantity or set of numbers without bound, limit or end, whether countably infinite like the set of integers, or uncountably infinite like the set of real numbers (represented by the symbol ∞)
integers: whole numbers, both positive (natural numbers) and negative, including zero
integral: the area bounded by a graph or curve of a function and the x axis, between two given values of x(definite integral), found by the operation of integration
integration: the operation in calculus (inverse to the operation of differentiation) of finding the integral of a function or equation
irrational numbers: numbers that can not be represented as decimals (because they would contain an infinite number of non-repeating digits) or as fractions of one integer over another, e.g. π, √2, e
JBack to Top
Julia set: the set of points for a function of the form z2 + c (where c is a complex parameter), such that a small perturbation can cause drastic changes in the sequence of iterated function values and iterations will either approach zero, approach infinity or get trapped in loop
KBack to Top
knot theory: an area of topology that studies mathematical knots (a knot is a closed curve in space formed by interlacing a piece of “string” and joining the ends)
LBack to Top
least squares method: a method of regression analysis used in probability theory and statistics to fit a curve-of-best-fit to observed data by minimizing the sum of the squares of the differences between the observed values and the values provided by the model
limit: the point towards which a series or function converges, e.g. as x becomes closer and closer to zero,(sin x)x becomes closer and closer to the limit of 1
line: in geometry, a one-dimensional figure following a continuous straight path joining two or more points, whether infinite in both directions or just a line segment bounded by two distinct end points
linear equation: an algebraic equation in which each term is either a constant or the product of a constant and the first power of a single variable, and whose graph is therefore a straight line, e.g. y = 4, y = 5x + 3
linear regression: a technique in statistics and probability theory for modelling scattered data by assuming an approximate linear relationship between the dependent and independent variables
logarithm: the inverse operation to exponentiation, the exponent of a power to which a base (usually 10 or efor natural logarithms) must be raised to produce a given number, e.g. because 1,000 = 103, the log10 100 = 3
logic: the study of the formal laws of reasoning (mathematical logic the application of the techniques of formal logic to mathematics and mathematical reasoning, and vice versa)
logicism: the theory that mathematics is just an extension of logic, and that therefore some or all mathematics is reducible to logic
MBack to Top
magic square: a square array of numbers where each row, column and diagonal added up to the same total, known as the magic sum or constant (a semi-magic square is a square numbers where just the rows and columns, but not both diagonals, sum to a constant)
Mandelbrot set: a set of points in the complex plane, the boundary of which forms a fractal, based on all the possible c points and Julia sets of a function of the form z2 + c (where c is a complex parameter)
manifold: a topological space or surface which, on a small enough scale, resembles the Euclidean space of a specific dimension (called the dimension of the manifold), e.g. a line and a circle are one-dimensional manifolds; a plane and the surface of a sphere are two-dimensional manifolds; etc
matrix: a rectangular array of numbers, which can be added, subtracted and multiplied, and used to represent linear transformations and vectors, solve equations, etc
Mersenne number: numbers that are one less than 2 to the power of a prime number, e.g. 3 (22 - 1); 7 (23 - 1); 31 (25 - 1); 127 (27 - 1); 8,191 (213 - 1); etc
Mersenne primes: prime numbers that are one less than a power of 2, e.g. 3 (22 - 1); 7 (23 - 1); 31 (25 - 1); 127 (27 - 1); 8,191 (213 - 1); etc - many, but not all, Mersenne numbers are primes, e.g. 2,047 = 211 - 1 = 23 x 89, so 2,047 is a Mersenne number but not a Mersenne prime
method of exhaustion: a method of finding the area of a shape by inscribing inside it a sequence of polygons whose areas converge to the area of the containing shape (a precursor to the methods of calculus)
modular arithmetic: a system of arithmetic for integers, where numbers "wrap around" after they reach a certain value (the modulus), e.g. on a 12-hour clock, 15 o’clock is actually 3 o’clock (15 = 3 mod 12)
modulus: a number by which two given numbers can be divided by integer division, and produce the same remainder, e.g. 38 ÷ 12 = 3 remainder 2, and 26 ÷ 12 = 2 remainder 2, therefore 38 and 26 are congruent modulo 12, or (38 ≡ 26) mod 12
monomial: an algebraic expression consisting of a single term (although that term could be an exponent), e.g. y = 7xy = 2x3
NBack to Top
natural numbers: the set of positive integers (regular whole counting numbers), sometimes including zero
negative numbers: any integer, ration or real number which is less than 0, e.g. -743, -1.4, -√5 (but not √-1, which is an imaginary or complex number)
non-commutative algebra: an algebra in which a x b does not always equal b x a, such as that used by quaternions
non-Euclidean geometry: geometry based on a curved plane, whether elliptic (spherical) or hyperbolic (saddle-shaped), in which there are no parallel lines and the angles of a triangle do not sum to 180°
normal (Gaussian) distribution: a continuous probability distribution in probability theory and statistics that describes data which clusters around the mean in a curved “bell curve”, highest in the middle and quickly tapering off to each side
number line: a line on which all points correspond to real numbers (a simple number line may only mark integers, but in theory all real numbers to +/- infinity can be shown on a number line)
number theory: the branch of pure mathematics concerned with the properties of numbers in general, and integers in particular
OBack to Top
ordinal numbers: an extension of the natural numbers (different from integers and from cardinal numbers) used to describe the order type of sets i.e. the order of elements within a set or series
PBack to Top
parabola: a type of conic section curve, any point of which is equally distant from a fixed focus point and a fixed straight line
paradox: a statement that appears to contradict itself, suggesting a solution which is actually impossible
partial differential equation: a relation involving an unknown function with several independent variables and its partial derivatives with respect to those variables
Pascal’s Triangle: a geometrical arrangement of the coefficients of the polynomial expansion of a binomial power of the form (x + y)n as a symmetrical triangle of numbers
perfect number: a number that is the sum of its divisors (excluding the number itself), e.g. 28 = 1 + 2 + 4 + 7 + 14
periodic function: a function that repeats its values in regular intervals or periods, such as the trigonometric functions of sine, cosine, tangent, etc
permutation: a particular ordering of a set of objects, e.g. given the set {1, 2, 3}, there are six permutations: {1, 2, 3}, {1, 3, 2}, {2, 1, 3}, {2, 3, 1}, {3, 1, 2}, and {3, 2, 1}
pi (π): the ratio of a circumference of a circle to its diameter, an irrational (and transcendental) number approximately equal to 3.141593...
place value: positional notation for numbers, allowing the use of the same symbols for different orders of magnitude, e.g. the "one's place", "ten's place", "hundred's place", etc
Platonic solids: the five regular convex polyhedra (symmetrical 3-dimensional shapes): the tetrahedron (made up of 4 regular triangles), the octahedron (made up of 8 triangles), the icosahedron (made up of 20 triangles), the cube (made up of 6 squares) and the dodecahedron (made up of 12 pentagons)
polar coordinates: a two-dimensional coordinate system in which each point on a plane is determined by its distance r from a fixed point (e.g. the origin) and its angle θ (theta) from a fixed direction (e.g the x axis)
polynomial: an algebraic expression or equation with more than one term, constructed from variables and constants using only the operations of addition, subtraction, multiplication and non-negative whole-number exponents, e.g. 5x2 - 4x + 4y + 7
prime numbers: integers greater than 1 which are only divisible by themselves and 1
projective geometry: a kind of non-Euclidean geometry which considers what happens to shapes when they are projected on to a non-parallel plane, e.g. a circle may be projected into an ellipse or a hyperbola
plane: a flat two-dimensional surface (physical or theoretical) with infinite width and length, zero thickness and zero curvature
probability theory: the branch of mathematics concerned with analysis of random variables and events, and with the interpretation of probabilities (the likelihood of an event happening)
Pythagoras’ (Pythagorean) theorem: the square of the hypotenuse of a right angled triangle is equal to the sum of the squares of the two sides (a2 + b2 = c2)
Pythagorean triples: groups of three positive integers ab and c such that the a2 + b2 = c2 equation of Pythagoras’ theorem, e.g. ( 3, 4, 5), ( 5, 12, 13), ( 7, 24, 25), ( 8, 15, 17), etc
QBack to Top
quadratic equation: a polynomial equation with a degree of 2 (i.e. the highest power is 2), of the form ax2 +bx + c = 0, which can be solved by various methods including factoring, completing the square, graphing, Newton's method and the quadratic formula
quadrature: the act of squaring, or finding a square equal in area to a given figure, or finding the area of a geometrical figure or the area under a curve (such as by a process of numerical integration)
quartic equation: a polynomial having a degree of 4 (i.e. the highest power is 4), of the form ax4 + bx3 + cx2dx + e = 0, the highest order polynomial equation that can be solved by factorization into radicals by a general formula
quaternions: a number system that extends complex numbers to four dimensions (so that an object is described by a real number and three complex numbers, all mutually perpendicular to each other), which can be used to represent a three-dimensional rotation by just an angle and a vector
quintic equation: a polynomial having a degree of 5 (i.e. the highest power is 5), of the form ax5 + bx4 + cx3dx2 + ex + f = 0, not solvable by factorization into radicals for all rational numbers
RBack to Top
rational numbers: numbers that can be expressed as a fraction (or ratio) ab of two integers (the integers are therefore a subset of the rationals), or alternatively a decimal which terminates after a finite number of digits or begins to repeat a sequence
real numbers: all numbers (including natural numbers, integers, decimals, rational numbers and irrational numbers) which do not involve imaginary numbers (multiples of the imaginary unit i, or the square root of -1), may be thought of as all points on an infinitely long number line
reciprocal: a number which, when multiplied by x yields the multiplicative identity 1, and can therefore be thought of as the inverse of multiplication, e.g. the reciprocal of x is 1x, the reciprocal of 35 is 53
Riemannian geometry: a non-Euclidean geometry that studies curved surfaces and differentiable manifolds in higher dimensional spaces
right triangle: a triangle (three sided polygon) containing an angle of 90°
SBack to Top
self-similarity: object is exactly or approximately similar to a part of itself (in fractals, the shapes of lines at different iterations look like smaller versions of earlier shapes)
sequence: an ordered set whose elements are usually determined based on some function of the counting numbers, e.g. a geometric sequence is a set where each element is a multiple of the previous element; an arithmetic sequence is a set where each element is the previous element plus or minus a number
set: a collection of distinct objects or numbers, without regard to their order, considered as an object in its own right
significant digits: the number of digits to consider when using measuring numbers, those digits that carry meaning contributing to its precision (i.e. ignoring leading and trailing zeros)
simultaneous equations: a set or system of equations containing multiple variables which has a solution that simultaneously satisfies all of the equations (e.g. the set of simultaneous linear equations 2x + y = 8 andx + y = 6, has a solution x = 2 and y = 4)
slope: the steepness or incline of a line, determined by reference to two points on the line, e.g. the slope of the line y = mx + b is m, and represents the rate at which y is changing per unit of change in x
spherical geometry: a type of non-Euclidean (elliptic) geometry using the two-dimensional surface of a sphere, where a curved geodesic (not a straight line) is the shortest paths between points
spherical trigonometry: a branch of spherical geometry which deals with polygons (especially triangles) on the sphere, and the relationships between their sides and angles
subset: a subsidiary collection of objects that all belong to, or is contained in, an original given set, e.g. subsets of {ab} could include: {a}, {b}, {ab} and {}
surd: the n-th root a number, such as √5, the cube root of 7, etc
symmetry: the correspondence in size, form or arrangement of parts on a plane or line (line symmetry is where each point on one side of a line has a corresponding point on the opposite side, e.g. a picture a butterfly with wings that are identical on either side; plane symmetry refers to similar figures being repeated at different but regular locations on the plane)
TBack to Top
tensor: a collection of numbers at every point in space which describe how much the space is curved, e.g. in four spatial dimensions, a collection of ten numbers is needed at each point to describe the properties of the mathematical space or manifold, no matter how distorted it may be
term: in an algebraic expression or equation, either a single number or variable, or the product of several numbers and variables separated from another term by a + or - sign, e.g. in the expression 3 + 4x + 5yzw, the 3, the 4x and the 5yzw are all separate terms
theorem: a mathematical statement or hypothesis which has been proved on the basis of previously established theorems and previously accepted axioms, effectively the proof of the truth of a statement or expression
topology: the field of mathematics concerned with spatial properties that are preserved under continuous deformations of objects (such as stretching, bending and morphing, but not tearing or gluing)
transcendental number: an irrational number that is “not algebraic”, i.e. no finite sequence of algebraic operations on integers (such as powers, roots, sums, etc.) can be equal to its value, examples being π and e. For example, √2 is irrational but not transcendental because it is the solution to the polynomial x2 = 2.
transfinite numbers: cardinal numbers or ordinal numbers that are larger than all finite numbers, yet not necessarily absolutely infinite
triangular number: a number which can be represented as an equilateral triangle of dots, and is the sum of all the consecutive numbers up to its largest prime factor - it can also be calculated as n(n + 1)2, e.g. 15 = 1 + 2 + 3 + 4 + 5 = 5(5 + 1)2
trigonometry: the branch of mathematics that studies the relationships between the sides and the angles of right triangles, and deals with and with the trigonometric functions (sine, cosine, tangent and their reciprocals)
trinomial: an algebraic equation with 3 terms, e.g. 3x + 5y + 8z; 3x3 + 2x2 + x; etc
type theory: an alternative to naive set theory in which all mathematical entities are assigned to a type within a hierarchy of types, so that objects of a given type are built exclusively from objects of preceding types lower in the hierarchy, thus preventing loops and paradoxes
VBack to Top
vector: a physical quantity having magnitude and direction, represented by a directed arrow indicating its orientation in space
vector space: a three-dimensional area where vectors can be plotted, or a mathematical structure formed by a collection of vectors
Venn diagram: a diagram where sets are represented as simple geometric figures (often circles), and overlapping and similar sets are represented by intersections and unions of the figures
ZBack to Top
Zermelo-Fraenkel set theory: the standard form of set theory and the most common foundation of modern mathematics, based on a list of nine axioms (usually modified by a tenth, the axiom of choice) about what kinds of sets exist, commonly abbreviated together as ZFC
Zeta function: A function based on an infinite series of reciprocals of exponents (Riemann’s zeta function is the extension of Euler’s simple zeta function into the domain of complex numbers)

BERNOULLI BROTHERS


BERNOULLI BROTHERS



Unusually in the history of mathematics, a single family, the Bernoulli’s, produced half a dozen outstanding mathematicians over a couple of generations at the end of the 17th and start of the 18th Century.
The Bernoulli family was a prosperous family of traders and scholars from the free city of Basel in Switzerland, which at that time was the great commercial hub of central Europe.The brothers, Jacob and Johann Bernoulli, however, flouted their father's wishes for them to take over the family spice business or to enter respectable professions like medicine or the ministry, and began studying mathematics together.
After Johann graduated from Basel University, the two developed a rather jealous and competitive relationship. Johann in particular was jealous of the elder Jacob's position as professor at Basel University, and the two often attempted to outdo each other. After Jacob's early death from tuberculosis, Johann took over his brother's position, one of his young students being the great Swiss mathematician Leonhard Euler. However, Johann merely shifted his jealousy toward his own talented son, Daniel (at one point, Johann published a book based on Daniel's work, even changing the date to make it look as though his book had been published before his son's).
Johann received a taste of his own medicine, though, when his student Guillaume de l'Hôpital published a book in his own name consisting almost entirely of Johann's lectures, including his now famous rule about 0 ÷ 0 (a problem which had dogged mathematicians since Brahmagupta's initial work on the rules for dealing with zero back in the 7th Century). This showed that 0 ÷ 0 does not equal zero, does not equal 1, does not equal infinity, and is not even undefined, but is "indeterminate" (meaning it could equal any number). The rule is still usually known as l'Hôpital's Rule, and not Bernoulli's Rule.
Despite their competitive and combative personal relationship, though, the brothers both had a clear aptitude for mathematics at a high level, and constantly challenged and inspired each other. They established an early correspondence with Gottfried Leibniz, and were among the first mathematicians to not only study and understand infinitesimal calculus but to apply it to various problems. They became instrumental in disseminating the newly-discovered knowledge of calculus, and helping to make it the cornerstone of mathematics it has become today.
The Bernoulli’s first derived the brachistrochrone curve, using his calculus of variation method

The Bernoulli’s first derived the brachistrochrone curve, using his calculus of variation method
But they were more than just disciples of Leibniz, and they also made their own important contributions. One well known and topical problem of the day to which they applied themselves was that of designing a sloping ramp which would allow a ball to roll from the top to the bottom in the fastest possible time. Johann Bernoulli demonstrated through calculus that neither a straight ramp or a curved ramp with a very steep initial slope were optimal, but actually a less steep curved ramp known as a brachistochrone curve (a kind of upside-down cycloid, similar to the path followed by a point on a moving bicycle wheel) is the curve of fastest descent.
This application was an example of the “calculus of variations”, a generalization of infinitesimal calculus that the Bernoulli brothers developed together, and has since proved useful in fields as diverse as engineering, financial investment, architecture and construction, and even space travel. Johann also derived the equation for a catenary curve, such as that formed by a chain hanging between two posts, a problem presented to him by his brother Jacob.
Bernoulli Numbers

Bernoulli Numbers
Jacob Bernoulli’s book “The Art of Conjecture”, published posthumously in 1713, consolidated existing knowledge on probability theory and expected values, as well as adding personal contributions, such as his theory of permutations and combinations, Bernoulli trials and Bernoulli distribution, and some important elements of number theory, such as the Bernoulli Numbers sequence. He also published papers on transcendental curves, and became the first person to develop the technique for solving separable differential equations (the set of non-linear, but solvable, differential equations are now named after him). He invented polar coordinates (a method of describing the location of points in space using angles and distances) and was the first to use the word “integral” to refer to the area under a curve.
Jacob Bernoulli also discovered the appropximate value of the irrational number e while exploring the compound interest on loans. When compounded at 100% interest annually, $1.00 becomes $2.00 after one year; when compounded semi-annually it ppoduces $2.25; compounded quarterly $2.44; monthly $2.61; weekly $2.69; daily $2.71; etc. If it were to be compounded continuously, the $1.00 would tend towards a value of $2.7182818... after a year, a value which became known as e. Alegbraically, it is the value of the infinite series (1 + 11)1.(1 + 12)2.(1 +13)3.(1 + 14)4...
Johann’s sons Nicolaus, Daniel and Johann II, and even his grandchildren Jacob II and Johann III, were all accomplished mathematicians and teachers. Daniel Bernoulli, in particular, is well known for his work on fluid mechanics (especially Bernoulli’s Principle on the inverse relationship between the speed and pressure of a fluid or gas), as much as for his work on probability and statistics.

LIST OF IMPORTANT MATHEMATICIANS


LIST OF IMPORTANT MATHEMATICIANS

This is a chronological list of some of the most important mathematicians in history and their major achievments, as well as some very early achievements in mathematics for which individual contributions can not be acknowledged.
Where the mathematicians have individual pages in this website, these pages are linked; otherwise more information can usually be obtained from the general page relating to the particular period in history, or from the list of sources used. A more detailed and comprehensive mathematical chronology can be found at


DateNameNationality  Major Achievements
35000 BCEAfricanFirst notched tally bones
3100 BCESumerianEarliest documented counting and measuring system
2700 BCEEgyptianEarliest fully-developed base 10 number system in use
2600 BCESumerianMultiplication tables, geometrical exercises and division problems
2000-1800 BCEEgyptianEarliest papyri showing numeration system and basic arithmetic
1800-1600 BCEBabylonianClay tablets dealing with fractions, algebra and equations
1650 BCEEgyptianRhind Papyrus (instruction manual in arithmetic, geometry, unit fractions, etc)
1200 BCEChineseFirst decimal numeration system with place value concept
1200-900 BCEIndianEarly Vedic mantras invoke powers of ten from a hundred all the way up to a trillion
800-400 BCEIndian“Sulba Sutra” lists several Pythagorean triples and simplified Pythagorean theorem for the sides of a square and a rectangle, quite accurate approximation to √2
650 BCEChineseLo Shu order three (3 x 3) “magic square” in which each row, column and diagonal sums to 15
624-546 BCEThalesGreekEarly developments in geometry, including work on similar and right triangles
570-495 BCEPythagorasGreekExpansion of geometry, rigorous approach building from first principles, square and triangular numbers, Pythagoras’ theorem
500 BCEHippasusGreekDiscovered potential existence of irrational numbers while trying to calculate the value of √2
490-430 BCEZeno of EleaGreekDescribes a series of paradoxes concerning infinity and infinitesimals
470-410 BCEHippocrates of ChiosGreekFirst systematic compilation of geometrical knowledge, Lune of Hippocrates
460-370 BCEDemocritusGreekDevelopments in geometry and fractions, volume of a cone
428-348 BCEPlatoGreekPlatonic solids, statement of the Three Classical Problems, influential teacher and popularizer of mathematics, insistence on rigorous proof and logical methods
410-355 BCEEudoxus of CnidusGreekMethod for rigorously proving statements about areas and volumes by successive approximations
384-322 BCEAristotleGreekDevelopment and standardization of logic (although not then considered part of mathematics) and deductive reasoning
300 BCEEuclidGreekDefinitive statement of classical (Euclidean) geometry, use of axioms and postulates, many formulas, proofs and theorems including Euclid’s Theorem on infinitude of primes
287-212 BCEArchimedesGreekFormulas for areas of regular shapes, “method of exhaustion” for approximating areas and value of π, comparison of infinities
276-195 BCEEratosthenesGreek“Sieve of Eratosthenes” method for identifying prime numbers
262-190 BCEApollonius of PergaGreekWork on geometry, especially on cones and conic sections (ellipse, parabola, hyperbola)
200 BCEChinese“Nine Chapters on the Mathematical Art”, including guide to how to solve equations using sophisticated matrix-based methods
190-120 BCEHipparchusGreekDevelop first detailed trigonometry tables
36 BCEMayanPre-classic Mayans developed the concept of zero by at least this time
10-70 CEHeron (or Hero) of AlexandriaGreekHeron’s Formula for finding the area of a triangle from its side lengths, Heron’s Method for iteratively computing a square root
90-168 CEPtolemyGreek/Egyptian   Develop even more detailed trigonometry tables
200 CESun TzuChineseFirst definitive statement of Chinese Remainder Theorem
200 CEIndianRefined and perfected decimal place value number system
200-284 CEDiophantusGreekDiophantine Analysis of complex algebraic problems, to find rational solutions to equations with several unknowns
220-280 CELiu HuiChineseSolved linear equations using a matrices (similar to Gaussian elimination), leaving roots unevaluated, calculated value of π correct to five decimal places, early forms of integral and differential calculus
400 CEIndian“Surya Siddhanta” contains roots of modern trigonometry, including first real use of sines, cosines, inverse sines, tangents and secants
476-550 CEAryabhataIndianDefinitions of trigonometric functions, complete and accurate sine and versine tables, solutions to simultaneous quadratic equations, accurate approximation for π (and recognition that π is an irrational number)
598-668 CEBrahmaguptaIndianBasic mathematical rules for dealing with zero (+, - and x), negative numbers, negative roots of quadratic equations, solution of quadratic equations with two unknowns
600-680 CEBhaskara IIndianFirst to write numbers in Hindu-Arabic decimal system with a circle for zero, remarkably accurate approximation of the sine function
780-850 CEMuhammad Al-KhwarizmiPersianAdvocacy of the Hindu numerals 1 - 9 and 0 in Islamic world, foundations of modern algebra, including algebraic methods of “reduction” and “balancing”, solution of polynomial equations up to second degree
908-946 CEIbrahim ibn SinanArabicContinued Archimedes' investigations of areas and volumes, tangents to a circle
953-1029 CEMuhammad Al-KarajiPersianFirst use of proof by mathematical induction, including to prove the binomial theorem
966-1059 CEIbn al-Haytham (Alhazen)Persian/ArabicDerived a formula for the sum of fourth powers using a readily generalizable method, “Alhazen's problem”, established beginnings of link between algebra and geometry
1048-1131Omar KhayyamPersianGeneralized Indian methods for extracting square and cube roots to include fourth, fifth and higher roots, noted existence of different sorts of cubic equations
1114-1185Bhaskara IIIndianEstablished that dividing by zero yields infinity, found solutions to quadratic, cubic and quartic equations (including negative and irrational solutions) and to second order Diophantine equations, introduced some preliminary concepts of calculus
1170-1250Leonardo of Pisa (Fibonacci)ItalianFibonacci Sequence of numbers, advocacy of the use of the Hindu-Arabic numeral system in Europe, Fibonacci's identity (product of two sums of two squares is itself a sum of two squares)
1201-1274Nasir al-Din al-TusiPersianDeveloped field of spherical trigonometry, formulated law of sines for plane triangles
1202-1261Qin JiushaoChineseSolutions to quadratic, cubic and higher power equations using a method of repeated approximations
1238-1298Yang HuiChineseCulmination of Chinese “magic” squares, circles and triangles, Yang Hui’s Triangle (earlier version of Pascal’s Triangle of binomial co-efficients)
1267-1319Kamal al-Din al-FarisiPersianApplied theory of conic sections to solve optical problems, explored amicable numbers, factorization and combinatorial methods
1350-1425MadhavaIndianUse of infinite series of fractions to give an exact formula for π, sine formula and other trigonometric functions, important step towards development of calculus
1323-1382Nicole OresmeFrenchSystem of rectangular coordinates, such as for a time-speed-distance graph, first to use fractional exponents, also worked on infinite series
1446-1517Luca PacioliItalianInfluential book on arithmetic, geometry and book-keeping, also introduced standard symbols for plus and minus
1499-1557Niccolò Fontana TartagliaItalianFormula for solving all types of cubic equations, involving first real use of complex numbers (combinations of real and imaginary numbers), Tartaglia’s Triangle (earlier version of Pascal’s Triangle)
1501-1576Gerolamo CardanoItalianPublished solution of cubic and quartic equations (by Tartaglia and Ferrari), acknowledged existence of imaginary numbers (based on √-1)
1522-1565Lodovico FerrariItalianDevised formula for solution of quartic equations
1550-1617John NapierBritishInvention of natural logarithms, popularized the use of the decimal point, Napier’s Bones tool for lattice multiplication
1588-1648Marin MersenneFrenchClearing house for mathematical thought during 17th Century, Mersenne primes (prime numbers that are one less than a power of 2)
1591-1661Girard DesarguesFrenchEarly development of projective geometry and “point at infinity”, perspective theorem
1596-1650René DescartesFrenchDevelopment of Cartesian coordinates and analytic geometry (synthesis of geometry and algebra), also credited with the first use of superscripts for powers or exponents
1598-1647Bonaventura CavalieriItalian“Method of indivisibles” paved way for the later development of infinitesimal calculus
1601-1665Pierre de FermatFrenchDiscovered many new numbers patterns and theorems (including Little Theorem, Two-Square Thereom and Last Theorem), greatly extending knowlege of number theory, also contributed to probability theory
1616-1703John WallisBritishContributed towards development of calculus, originated idea of number line, introduced symbol ∞ for infinity, developed standard notation for powers
1623-1662Blaise PascalFrenchPioneer (with Fermat) of probability theory, Pascal’s Triangle of binomial coefficients
1643-1727Isaac NewtonBritishDevelopment of infinitesimal calculus (differentiation and integration), laid ground work for almost all of classical mechanics, generalized binomial theorem, infinite power series
1646-1716Gottfried LeibnizGermanIndependently developed infinitesimal calculus (his calculus notation is still used), also practical calculating machine using binary system (forerunner of the computer), solved linear equations using a matrix
1654-1705Jacob BernoulliSwissHelped to consolidate infinitesimal calculus, developed a technique for solving separable differential equations, added a theory of permutations and combinations to probability theory, Bernoulli Numbers sequence, transcendental curves
1667-1748Johann BernoulliSwissFurther developed infinitesimal calculus, including the “calculus of variation”, functions for curve of fastest descent (brachistochrone) and catenary curve
1667-1754Abraham de MoivreFrenchDe Moivre's formula, development of analytic geometry, first statement of the formula for the normal distribution curve, probability theory
1690-1764Christian GoldbachGermanGoldbach Conjecture, Goldbach-Euler Theorem on perfect powers
1707-1783Leonhard EulerSwissMade important contributions in almost all fields and found unexpected links between different fields, proved numerous theorems, pioneered new methods, standardized mathematical notation and wrote many influential textbooks
1728-1777Johann LambertSwissRigorous proof that π is irrational, introduced hyperbolic functions into trigonometry, made conjectures on non-Euclidean space and hyperbolic triangles
1736-1813Joseph Louis LagrangeItalian/FrenchComprehensive treatment of classical and celestial mechanics, calculus of variations, Lagrange’s theorem of finite groups, four-square theorem, mean value theorem
1746-1818Gaspard MongeFrenchInventor of descriptive geometry, orthographic projection
1749-1827Pierre-Simon LaplaceFrenchCelestial mechanics translated geometric study of classical mechanics to one based on calculus, Bayesian interpretation of probability, belief in scientific determinism
1752-1833Adrien-Marie LegendreFrenchAbstract algebra, mathematical analysis, least squares method for curve-fitting and linear regression, quadratic reciprocity law, prime number theorem, elliptic functions
1768-1830Joseph FourierFrenchStudied periodic functions and infinite sums in which the terms are trigonometric functions (Fourier series)
1777-1825Carl Friedrich GaussGermanPattern in occurrence of prime numbers, construction of heptadecagon, Fundamental Theorem of Algebra, exposition of complex numbers, least squares approximation method, Gaussian distribution, Gaussian function, Gaussian error curve, non-Euclidean geometry, Gaussian curvature
1789-1857Augustin-Louis CauchyFrenchEarly pioneer of mathematical analysis, reformulated and proved theorems of calculus in a rigorous manner, Cauchy's theorem (a fundamental theorem of group theory)
1790-1868August Ferdinand MöbiusGermanMöbius strip (a two-dimensional surface with only one side), Möbius configuration, Möbius transformations, Möbius transform (number theory), Möbius function, Möbius inversion formula
1791-1858George PeacockBritishInventor of symbolic algebra (early attempt to place algebra on a strictly logical basis)
1791-1871Charles BabbageBritishDesigned a "difference engine" that could automatically perform computations based on instructions stored on cards or tape, forerunner of programmable computer.
1792-1856Nikolai LobachevskyRussianDeveloped theory of hyperbolic geometry and curved spaces independendly of Bolyai
1802-1829Niels Henrik AbelNorwegianProved impossibility of solving quintic equations, group theory, abelian groups, abelian categories, abelian variety
1802-1860János BolyaiHungarianExplored hyperbolic geometry and curved spaces independently of Lobachevsky
1804-1851Carl JacobiGermanImportant contributions to analysis, theory of periodic and elliptic functions, determinants and matrices
1805-1865William HamiltonIrishTheory of quaternions (first example of a non-commutative algebra)
1811-1832Évariste GaloisFrenchProved that there is no general algebraic method for solving polynomial equations of degree greater than four, laid groundwork for abstract algebra, Galois theory, group theory, ring theory, etc
1815-1864George BooleBritishDevised Boolean algebra (using operators AND, OR and NOT), starting point of modern mathematical logic, led to the development of computer science
1815-1897Karl WeierstrassGermanDiscovered a continuous function with no derivative, advancements in calculus of variations, reformulated calculus in a more rigorous fashion, pioneer in development of mathematical analysis
1821-1895Arthur CayleyBritishPioneer of modern group theory, matrix algebra, theory of higher singularities, theory of invariants, higher dimensional geometry, extended Hamilton's quaternions to create octonions
1826-1866Bernhard RiemannGermanNon-Euclidean elliptic geometry, Riemann surfaces, Riemannian geometry (differential geometry in multiple dimensions), complex manifold theory, zeta function, Riemann Hypothesis
1831-1916Richard DedekindGermanDefined some important concepts of set theory such as similar sets and infinite sets, proposed Dedekind cut (now a standard definition of the real numbers)
1834-1923John VennBritishIntroduced Venn diagrams into set theory (now a ubiquitous tool in probability, logic and statistics)
1842-1899Marius Sophus LieNorwegianApplied algebra to geometric theory of differential equations, continuous symmetry, Lie groups of transformations
1845-1918Georg CantorGermanCreator of set theory, rigorous treatment of the notion of infinity and transfinite numbers, Cantor's theorem (which implies the existence of an “infinity of infinities”)
1848-1925Gottlob FregeGermanOne of the founders of modern logic, first rigorous treatment of the ideas of functions and variables in logic, major contributor to study of the foundations of mathematics
1849-1925Felix KleinGermanKlein bottle (a one-sided closed surface in four-dimensional space), Erlangen Program to classify geometries by their underlying symmetry groups, work on group theory and function theory
1854-1912Henri PoincaréFrenchPartial solution to “three body problem”, foundations of modern chaos theory, extended theory of mathematical topology, Poincaré conjecture
1858-1932Giuseppe PeanoItalianPeano axioms for natural numbers, developer of mathematical logic and set theory notation, contributed to modern method of mathematical induction
1861-1947Alfred North WhiteheadBritishCo-wrote “Principia Mathematica” (attempt to ground mathematics on logic)
1862-1943David HilbertGerman23 “Hilbert problems”, finiteness theorem, “Entscheidungsproblem“ (decision problem), Hilbert space, developed modern axiomatic approach to mathematics, formalism
1864-1909Hermann MinkowskiGermanGeometry of numbers (geometrical method in multi-dimensional space for solving number theory problems), Minkowski space-time
1872-1970Bertrand RussellBritishRussell’s paradox, co-wrote “Principia Mathematica” (attempt to ground mathematics on logic), theory of types
1877-1947G.H. HardyBritishProgress toward solving Riemann hypothesis (proved infinitely many zeroes on the critical line), encouraged new tradition of pure mathematics in Britain, taxicab numbers
1878-1929Pierre FatouFrenchPioneer in field of complex analytic dynamics, investigated iterative and recursive processes
1881-1966L.E.J. BrouwerDutchProved several theorems marking breakthroughs in topology (including fixed point theorem and topological invariance of dimension)
1887-1920Srinivasa RamanujanIndianProved over 3,000 theorems, identities and equations, including on highly composite numbers, partition function and its asymptotics, and mock theta functions
1893-1978Gaston JuliaFrenchDeveloped complex dynamics, Julia set formula
1903-1957John von NeumannHungarian/
American
Pioneer of game theory, design model for modern computer architecture, work in quantum and nuclear physics
1906-1978Kurt GödelAustriaIncompleteness theorems (there can be solutions to mathematical problems which are true but which can never be proved), Gödel numbering, logic and set theory
1906-1998André WeilFrenchTheorems allowed connections between algebraic geometry and number theory, Weil conjectures (partial proof of Riemann hypothesis for local zeta functions), founding member of influential Bourbaki group
1912-1954Alan TuringBritishBreaking of the German enigma code, Turing machine (logical forerunner of computer), Turing test of artificial intelligence
1913-1996Paul ErdösHungarianSet and solved many problems in combinatorics, graph theory, number theory, classical analysis, approximation theory, set theory and probability theory
1917-2008Edward LorenzAmericanPioneer in modern chaos theory, Lorenz attractor, fractals, Lorenz oscillator, coined term “butterfly effect”
1919-1985Julia RobinsonAmericanWork on decision problems and Hilbert's tenth problem, Robinson hypothesis
1924-2010Benoît MandelbrotFrenchMandelbrot set fractal, computer plottings of Mandelbrot and Julia sets
1928-2014Alexander GrothendieckFrenchMathematical structuralist, revolutionary advances in algebraic geometry, theory of schemes, contributions to algebraic topology, number theory, category theory, etc
1928-2015John NashAmericanWork in game theory, differential geometry and partial differential equations, provided insight into complex systems in daily life such as economics, computing and military
1934-2007Paul CohenAmericanProved that continuum hypothesis could be both true and not true (i.e. independent from Zermelo-Fraenkel set theory)
1937-John Horton ConwayBritishImportant contributions to game theory, group theory, number theory, geometry and (especially) recreational mathematics, notably with the invention of the cellular automaton called the "Game of Life"
1947-Yuri MatiyasevichRussianFinal proof that Hilbert’s tenth problem is impossible (there is no general method for determining whether Diophantine equations have a solution)
1953-Andrew WilesBritishFinally proved Fermat’s Last Theorem for all numbers (by proving the Taniyama-Shimura conjecture for semistable elliptic curves)
1966-Grigori PerelmanRussianFinally proved Poincaré Conjecture (by proving Thurston's geometrization conjecture), contributions to Riemannian geometry and geometric topology