Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Browse By

Proved By

Proved by credits the mathematician whose proof actually settled a theorem. Wikipedia notes Andrew Wiles's proof was described as "a stunning advance" in the citation for Wiles's Abel Prize award in 2016, recognition that came two decades after the proof itself. This dimension connects a theorem to the person who finally proved it true.

Facts
Comparison
Era Of Emergence
825 1
Proved By

Paul Erdos

Proved By
10 entries

Augustin-Louis Cauchy

Proved By
9 entries

Carl Friedrich Gauss

Proved By
9 entries

Karl Weierstrass

Proved By
8 entries

Henri Poincare

Proved By
7 entries

Bernhard Riemann

Proved By
5 entries

David Hilbert

Proved By
5 entries

Leonhard Euler

Proved By
5 entries

Arthur Cayley

Proved By
4 entries

Camille Jordan

Proved By
4 entries

Emmy Noether

Proved By
4 entries

Joseph-Louis Lagrange

Proved By
4 entries

Kurt Godel

Proved By
4 entries

John Nash

Proved By
3 entries

L. E. J. Brouwer

Proved By
3 entries

Niels Henrik Abel

Proved By
3 entries

Pierre-Simon Laplace

Proved By
3 entries

Abraham de Moivre

Proved By
2 entries

Bernard Bolzano

Proved By
2 entries

Georg Cantor

Proved By
2 entries

Isaac Newton

Proved By
2 entries

Pierre de Fermat

Proved By
2 entries

Rene Descartes

Proved By
2 entries

Adrien-Marie Legendre

Proved By
1 entry

Alan Turing

Proved By
1 entry

Aleksandr Lyapunov

Proved By
1 entry

Alexander Grothendieck

Proved By
1 entry

Andrew Wiles

Proved By
1 entry

Charles-Jean de la Vallee Poussin

Proved By
1 entry

Euclid

Proved By
1 entry

Evariste Galois

Proved By
1 entry

George Gabriel Stokes

Proved By
1 entry

Gottfried Wilhelm Leibniz

Proved By
1 entry

Grigori Perelman

Proved By
1 entry

Jacques Hadamard

Proved By
1 entry

John von Neumann

Proved By
1 entry

Kenneth Appel

Proved By
1 entry

Leonid Levin

Proved By
1 entry

Michael Atiyah

Proved By
1 entry

Pythagoras

Proved By
1 entry

Qin Jiushao

Proved By
1 entry

Sophie Germain

Proved By
1 entry

Srinivasa Ramanujan

Proved By
1 entry

Stephen Cook

Proved By
1 entry

Thomas Bayes

Proved By
1 entry

Thomas Hales

Proved By
1 entry

Wolfgang Haken

Proved By
1 entry
Sources
1. Wikipedia: Algebra
Wikimedia FoundationHistory section
Quote, History section
This changed with the Persian mathematician Al-Khwarizmi, who published his The Compendious Book on Calculation by Completion and Balancing in 825 CE. Al-Khwarizmi provided the first analytical theory for solving equations by classifying them into six standard forms and offering systematic, step-by-step procedures for their solutions.
View the Source
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.