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.

Proved By

Abraham de Moivre

Proved By
3 entries

Abraham Seidenberg

Proved By
2 entries

Abraham Wald

Proved By
2 entries

Adrien-Marie Legendre

Proved By
1 entry

Alan Baker

Proved By
1 entry

Alan Turing

Proved By
3 entries

Albert Muchnik

Proved By
1 entry

Aleksandr Khinchin

Proved By
1 entry

Aleksandr Lyapunov

Proved By
1 entry

Alexander Gelfond

Proved By
1 entry

Alexander Grothendieck

Proved By
1 entry

Alexander Ostrowski

Proved By
1 entry

Alexandru Froda

Proved By
1 entry

Alexis Claude Clairaut

Proved By
1 entry

Alfred Tarski

Proved By
4 entries

Allan Gibbard

Proved By
2 entries

Alonzo Church

Proved By
1 entry

André Weil

Proved By
1 entry

Andrew M. Gleason

Proved By
1 entry

Andrew Wiles

Proved By
4 entries

Andrey Kolmogorov

Proved By
4 entries

Archimedes

Proved By
1 entry

Arthur Cayley

Proved By
4 entries

Augustin-Louis Cauchy

Proved By
17 entries

Augustus De Morgan

Proved By
1 entry

Barry Mazur

Proved By
1 entry

Bartel Leendert van der Waerden

Proved By
1 entry

Ben Green

Proved By
1 entry

Beppo Levi

Proved By
1 entry

Bernard Bolzano

Proved By
2 entries

Bernard Dwork

Proved By
1 entry

Bernard Malgrange

Proved By
1 entry

Bernhard Riemann

Proved By
6 entries

Bertram Kostant

Proved By
1 entry

Blaise Pascal

Proved By
2 entries

Brook Taylor

Proved By
1 entry

Bruno Courcelle

Proved By
1 entry

Bryan Birch

Proved By
1 entry

Camille Jordan

Proved By
4 entries

Carl Anton Bretschneider

Proved By
1 entry

Carl Friedrich Gauss

Proved By
12 entries

Carl Gustav Jacob Jacobi

Proved By
1 entry

Carl Ludwig Siegel

Proved By
4 entries

Carl Runge

Proved By
1 entry

Carl Wilhelm Oseen

Proved By
1 entry

Carlo Severini

Proved By
1 entry

Charles Hermite

Proved By
1 entry

Charles-Jean de la Vallee Poussin

Proved By
1 entry

Claude Berge

Proved By
3 entries

Claude Chevalley

Proved By
1 entry

Constantin Carathéodory

Proved By
3 entries

David Blackwell

Proved By
2 entries

David Hilbert

Proved By
8 entries

Dénes Kőnig

Proved By
1 entry

Désiré André

Proved By
1 entry

Donald A. Martin

Proved By
1 entry

Dov Gabbay

Proved By
1 entry

Edgar H. Brown

Proved By
1 entry

Édouard Goursat

Proved By
2 entries

Édouard Lucas

Proved By
1 entry

Eduard Helly

Proved By
2 entries

Edward Charles Titchmarsh

Proved By
2 entries

Edward John Routh

Proved By
1 entry

Edward Witten

Proved By
1 entry

Edwin Hewitt

Proved By
1 entry

Egon Pearson

Proved By
1 entry

Élie Cartan

Proved By
2 entries

Emanuel Lasker

Proved By
1 entry

Emanuel Sperner

Proved By
2 entries

Emil Artin

Proved By
5 entries

Emil Post

Proved By
1 entry

Émile Picard

Proved By
2 entries

Emmy Noether

Proved By
6 entries

Endre Szemerédi

Proved By
5 entries

Enrico Betti

Proved By
1 entry

Enrico Bombieri

Proved By
1 entry

Ernst Kummer

Proved By
1 entry

Ernst Leonard Lindelöf

Proved By
2 entries

Ernst Specker

Proved By
1 entry

Ernst Steinitz

Proved By
3 entries

Ernst Witt

Proved By
2 entries

Ernst Zermelo

Proved By
3 entries

Étienne Bézout

Proved By
2 entries

Euclid

Proved By
5 entries

Eugene Wigner

Proved By
1 entry

Eugenio Elia Levi

Proved By
1 entry

Évariste Galois

Proved By
1 entry

Evert Willem Beth

Proved By
1 entry

Felix Hausdorff

Proved By
1 entry

Ferdinand Georg Frobenius

Proved By
3 entries

Francesco Paolo Cantelli

Proved By
3 entries

François Budan de Boislaurent

Proved By
1 entry

François Viète

Proved By
1 entry

Frank Morley

Proved By
1 entry

Frank P. Ramsey

Proved By
1 entry

Franz Mertens

Proved By
1 entry

Franz Rellich

Proved By
1 entry

Friedrich Bessel

Proved By
1 entry

Frigyes Riesz

Proved By
3 entries

Gabriel Cramer

Proved By
1 entry

Garrett Birkhoff

Proved By
1 entry

Gaspard Monge

Proved By
1 entry

Gaston Darboux

Proved By
2 entries

Georg Alexander Pick

Proved By
1 entry

Georg Cantor

Proved By
3 entries

George David Birkhoff

Proved By
3 entries

George Gabriel Stokes

Proved By
1 entry

George Pólya

Proved By
3 entries

George Udny Yule

Proved By
1 entry

Georgy Voronoy

Proved By
1 entry

Gérard Debreu

Proved By
2 entries

Gerd Faltings

Proved By
1 entry

Gerhard Gentzen

Proved By
2 entries

Gerhard Ringel

Proved By
1 entry

Giovanni Ceva

Proved By
1 entry

Giovanni Girolamo Saccheri

Proved By
1 entry

Giuseppe Vitali

Proved By
2 entries

Gösta Mittag-Leffler

Proved By
1 entry

Gottfried Wilhelm Leibniz

Proved By
1 entry

Gotthold Eisenstein

Proved By
1 entry

Gottlob Frege

Proved By
1 entry

Graham Higman

Proved By
1 entry

Grigori Perelman

Proved By
2 entries

Guido Fubini

Proved By
2 entries

Gustav Herglotz

Proved By
2 entries

Gustav Kirchhoff

Proved By
1 entry

Hans Freudenthal

Proved By
1 entry

Hans Hahn

Proved By
2 entries

Hans Rademacher

Proved By
1 entry

Hans-Egon Richert

Proved By
1 entry

Hao Huang

Proved By
1 entry

Harald Bohr

Proved By
1 entry

Harald Cramér

Proved By
4 entries

Hassler Whitney

Proved By
3 entries

Heinrich Martin Weber

Proved By
1 entry

Heinrich Maschke

Proved By
1 entry

Heinrich Tietze

Proved By
1 entry

Heinz Hopf

Proved By
1 entry

Helmut Hasse

Proved By
3 entries

Helmut Maier

Proved By
1 entry

Henri Lebesgue

Proved By
3 entries

Henri Poincaré

Proved By
7 entries

Herbert Robbins

Proved By
1 entry

Herbert Seifert

Proved By
1 entry

Herman Müntz

Proved By
1 entry

Hermann Minkowski

Proved By
2 entries

Hermann Schwarz

Proved By
2 entries

Hermann Weyl

Proved By
3 entries

Heron of Alexandria

Proved By
1 entry

Hugo Steinhaus

Proved By
1 entry

Irvin S. Cohen

Proved By
1 entry

Isaac Namioka

Proved By
1 entry

Isaac Newton

Proved By
3 entries

Issai Schur

Proved By
2 entries

Ivan Niven

Proved By
1 entry

Ivan Vinogradov

Proved By
3 entries

Ivar Fredholm

Proved By
1 entry

J. Barkley Rosser

Proved By
1 entry

J. H. C. Whitehead

Proved By
1 entry

J. W. T. Youngs

Proved By
1 entry

Jacob Bernoulli

Proved By
3 entries

Jacques Charles François Sturm

Proved By
1 entry

Jacques Hadamard

Proved By
2 entries

Jacques Herbrand

Proved By
2 entries

Jakob Levitzki

Proved By
1 entry

Jakob Steiner

Proved By
4 entries

James Joseph Sylvester

Proved By
1 entry

Johann Radon

Proved By
2 entries

John Conway

Proved By
2 entries

John G. Thompson

Proved By
1 entry

John Milnor

Proved By
1 entry

John Nash

Proved By
3 entries

John von Neumann

Proved By
2 entries

Jon Barwise

Proved By
1 entry

Joseph Bertrand

Proved By
2 entries

Joseph Fourier

Proved By
1 entry

Joseph Kruskal

Proved By
2 entries

Joseph L. Doob

Proved By
2 entries

Joseph Liouville

Proved By
2 entries

Joseph R. Shoenfield

Proved By
1 entry

Joseph Wedderburn

Proved By
1 entry

Joseph Wolstenholme

Proved By
1 entry

Joseph-Émile Barbier

Proved By
1 entry

Joseph-Louis Lagrange

Proved By
5 entries

Julius Petersen

Proved By
3 entries

Juliusz Schauder

Proved By
1 entry

Jun-iti Nagata

Proved By
1 entry

Karl Menger

Proved By
1 entry

Karl von Staudt

Proved By
1 entry

Karl Weierstrass

Proved By
8 entries

Karol Borsuk

Proved By
1 entry

Kazimierz Kuratowski

Proved By
2 entries

Ken Ribet

Proved By
1 entry

Kenneth Appel

Proved By
1 entry

Kenneth Arrow

Proved By
1 entry

Kiyosi Itô

Proved By
1 entry

Klaus Wagner

Proved By
2 entries

Kurt Gödel

Proved By
4 entries

Kurt Heegner

Proved By
1 entry

Kurt Mahler

Proved By
3 entries

L. E. J. Brouwer

Proved By
3 entries

László Lovász

Proved By
1 entry

Laurent Clozel

Proved By
1 entry

Laurent Lafforgue

Proved By
1 entry

Lazare Carnot

Proved By
1 entry

Lennart Carleson

Proved By
1 entry

Leonhard Euler

Proved By
13 entries

Leonid Levin

Proved By
1 entry

Leopold Kronecker

Proved By
2 entries

Leopold Löwenheim

Proved By
1 entry

Leopold Vietoris

Proved By
1 entry

Lipót Fejér

Proved By
1 entry

Lloyd Shapley

Proved By
3 entries

Louis Mordell

Proved By
1 entry

Louis Poinsot

Proved By
1 entry

Ludwig Boltzmann

Proved By
1 entry

Ludwig Sylow

Proved By
1 entry

Marc-Antoine Parseval

Proved By
1 entry

Marcel Riesz

Proved By
1 entry

Mark Krein

Proved By
1 entry

Mark Satterthwaite

Proved By
2 entries

Marquis de Condorcet

Proved By
1 entry

Martin Kutta

Proved By
1 entry

Max Born

Proved By
1 entry

Max Zorn

Proved By
1 entry

Menelaus of Alexandria

Proved By
1 entry

Michael Atiyah

Proved By
1 entry

Michael Freedman

Proved By
1 entry

Michael Harris

Proved By
1 entry

Michel Plancherel

Proved By
1 entry

Mikhail Gromov

Proved By
1 entry

Moritz Pasch

Proved By
1 entry

Neil Robertson

Proved By
3 entries

Nicholas Shepherd-Barron

Proved By
1 entry

Nicolaas Govert de Bruijn

Proved By
2 entries

Nicolaas Kuiper

Proved By
1 entry

Niels Henrik Abel

Proved By
6 entries

Nikolai Chebotaryov

Proved By
1 entry

Olga Bondareva

Proved By
1 entry

Olga Taussky-Todd

Proved By
1 entry

Oskar Perron

Proved By
1 entry

Otto Schreier

Proved By
2 entries

Otto Szász

Proved By
1 entry

Øystein Ore

Proved By
1 entry

Pafnuty Chebyshev

Proved By
3 entries

Pál Turán

Proved By
2 entries

Pappus of Alexandria

Proved By
1 entry

Patrick Michael Grundy

Proved By
1 entry

Paul Erdos

Proved By
12 entries

Paul Lévy

Proved By
1 entry

Paul Seymour

Proved By
3 entries

Pavel Urysohn

Proved By
2 entries

Per Lindström

Proved By
1 entry

Percy Alexander MacMahon

Proved By
1 entry

Percy John Heawood

Proved By
1 entry

Peter Gustav Lejeune Dirichlet

Proved By
6 entries

Philip Hall

Proved By
1 entry

Philipp Furtwängler

Proved By
1 entry

Pierre de Fermat

Proved By
4 entries

Pierre Fatou

Proved By
1 entry

Pierre Ossian Bonnet

Proved By
1 entry

Pierre Varignon

Proved By
1 entry

Pierre Wantzel

Proved By
1 entry

Pierre-Simon Laplace

Proved By
3 entries

Pietro Mengoli

Proved By
1 entry

Preda Mihăilescu

Proved By
1 entry

Pythagoras

Proved By
1 entry

Qin Jiushao

Proved By
1 entry

R. Leonard Brooks

Proved By
1 entry

René Descartes

Proved By
2 entries

René Fréchet

Proved By
2 entries

Reuben Goodstein

Proved By
1 entry

Richard Bellman

Proved By
1 entry

Richard Taylor

Proved By
1 entry

Robert Aumann

Proved By
1 entry

Robert Lawson Vaught

Proved By
1 entry

Robert M. Solovay

Proved By
2 entries

Robert P. Dilworth

Proved By
1 entry

Robert Simson

Proved By
3 entries

Robert Tijdeman

Proved By
1 entry

Roger Lyndon

Proved By
1 entry

Roger Penrose

Proved By
1 entry

Roland Sprague

Proved By
1 entry

Ronald Fisher

Proved By
4 entries

Rudolf Clausius

Proved By
1 entry

Salomon Bochner

Proved By
1 entry

Samuel Earnshaw

Proved By
1 entry

Samuel Eilenberg

Proved By
1 entry

Sarvadaman Chowla

Proved By
1 entry

Semyon Aranovich Gershgorin

Proved By
1 entry

Serge Lang

Proved By
1 entry

Sergei Bernstein

Proved By
1 entry

Shimshon Amitsur

Proved By
1 entry

Shizuo Kakutani

Proved By
1 entry

Siméon Denis Poisson

Proved By
1 entry

Simon B. Kochen

Proved By
2 entries

Simon Donaldson

Proved By
1 entry

Solomon Lefschetz

Proved By
1 entry

Sophie Germain

Proved By
1 entry

Sophus Lie

Proved By
2 entries

Srinivasa Ramanujan

Proved By
2 entries

Stanisław Świerczkowski

Proved By
1 entry

Stefan Banach

Proved By
4 entries

Stephen Cole Kleene

Proved By
2 entries

Stephen Cook

Proved By
2 entries

Stephen Smale

Proved By
2 entries

Sumner Byron Myers

Proved By
1 entry

Teiji Takagi

Proved By
1 entry

Terence Tao

Proved By
1 entry

Thabit ibn Qurra

Proved By
1 entry

Theodor Schneider

Proved By
1 entry

Theodore Motzkin

Proved By
1 entry

Thomas Bayes

Proved By
1 entry

Thomas Clausen

Proved By
1 entry

Thomas Hales

Proved By
1 entry

Thoralf Skolem

Proved By
1 entry

Tibor Gallai

Proved By
1 entry

Vadim G. Vizing

Proved By
1 entry

Vera T. Sós

Proved By
1 entry

Viggo Brun

Proved By
2 entries

W. T. Tutte

Proved By
5 entries

Wacław Sierpiński

Proved By
1 entry

Walter Feit

Proved By
1 entry

Wassily Hoeffding

Proved By
3 entries

Wei-Liang Chow

Proved By
1 entry

Wilhelm Ackermann

Proved By
1 entry

Wilhelm Blaschke

Proved By
1 entry

Wilhelm Grunwald

Proved By
1 entry

Wilhelm Specht

Proved By
1 entry

Willi Rinow

Proved By
1 entry

William Allen Whitworth

Proved By
1 entry

William Burnside

Proved By
1 entry

William Gemmell Cochran

Proved By
1 entry

William Lawvere

Proved By
1 entry

William Rowan Hamilton

Proved By
1 entry

William Vallance Douglas Hodge

Proved By
1 entry

Wolfgang Haken

Proved By
1 entry

Wolfgang Krull

Proved By
5 entries

Yuri Linnik

Proved By
1 entry

Zsolt Baranyai

Proved By
1 entry
Connections

Showing the first 400 of 908 connections.

Sources
MacTutor History of Mathematics Archive
University of St Andrews, School of Mathematics and Statistics
  • Contains: Central Limit Theorem
  • Contains: Bayes' Theorem
View the Source
Wikipedia: Noether's Theorem
Wikimedia FoundationContains: Noether's TheoremView the Source
Wikipedia: Cayley's Theorem
Wikimedia FoundationContains: Cayley's TheoremView 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.