Summary of Result  Name 
% Correct 
In a right angled triangle, the square of the hypotenuse, equals the sum of the squares of the two right angled edges of the triangle.  Pythagorean Theorem   88.3%  For n > 2, no three integers a, b, c satisfy: a^n + b^n = c^n.  Fermat's Last Theorem   61.9%  Any convex polyhedron with V vertices, F faces, and E edges is such that: V  E + F = 2.  Euler's Formula   58%  There are infinitely many prime numbers. If there were finitely many, then the number obtained from multiplying all the primes then adding 1, would be divisible by a new prime.  Euclid's Proof of Infinitely Many Primes   50.1%  A conjecture concerning the distribution of the zeros of the classical zeta function.  Riemann Hypothesis   45.1%  Used to prove that there are uncountably many irrational numbers.  Cantor's Diagonalisation Argument   35.4%  No consistent system of axioms whose theorems can be listed by an 'effective procedure' is capable of proving all facts about the natural numbers.  Gödel's Incompleteness Theorem   30.5%  Every even integer greater than 2 can be expressed as the sum of two primes.  Goldbach's Conjecture   27.8%  If two paths connect the same two points, and a function is holomorphic everywhere between them, then the two path integrals of the function are equal.  Cauchy's Theorem   26.3%  The number of elements in any subgroup of a finite group, divides the number of elements in the group.  Lagrange's Theorem   25.5%  Given events A and B, and a probability measure P, then: P(A  B) P(B) = P(B  A) P(A).  Bayes' Theorem   24.9%  Every simply connected closed 3manifold is homeomorphic to the 3sphere.  Poincare Conjecture   22.9%  There does not exist a set whose members are exactly those sets that are not members of themselves  Russell's Paradox   22.2%  (cos(x) + i sin(x) )^n = cos(nx) + i sin(nx)  De Moivre's Formula   21.2%  The complement of the union of sets A and B, is the same as the intersection of the complements of A and B.  De Morgan's Rule   19.3% 

Summary of Result  Name 
% Correct 
The sequence of prime numbers contains arithmetic progressions of arbitrary length.  GreenTao Theorem   16.9%  Every non self intersecting loop in the plane divides the plane into an inside region and an outside region.  Jordan Curve Theorem   14.9%  Every partially ordered set in which every totally ordered subset has an upper bound, contains at least one maximal element.  Zorn's Lemma   14.3%  For sufficiently large n, then the number of distinct prime factors of n has the normal distribution with mean and variance log ( log (n) ).  Erdős Kac Theorem   13.8%  A subset of euclidean nspace is compact if and only if it is closed and bounded.  Heine Borel Theorem   13.1%  Every continuous function from a closed ball in Euclidean space, into itself, has a fixed point.  Brouwer Fixed Point Theorem   12.7%  If A and B are complete measure spaces, f an integrable function on A x B, then the integral of f with respect to the product measure, is the iterated integral of f on A, then B.  Fubini's Theorem   10.9%  Given an integer n, if n is even divide it by 2. If it is odd, multiply by 3 and then add 1. Continuing in this way, you always eventually reach 1.  Collatz Conjecture   10.7%  Any coloring of a sufficiently large complete graph contains a monochromatic complete subgraph of a given size.  Ramsey's Theorem   10%  If parallel lines are drawn at a distance t apart, and a needle of length L < t is dropped, then with probability 2L /(pi)t, the needle will intersect a line.  Buffon's Needle   9.9%  There are exactly n^(n2) distinct trees on a set of n labeled vertices.  Cayley's Formula   7.8%  Given a sequence of independent identically distributed random variables, then a tail event determined by this sequence either surely happens, or surely does not happen.  Kolmogorov's Zero  One Law   6.8%  Given sets A, B then if A ≤ B, and B ≤ A, then: A = B.  Cantor Schroeder Bernstein Theorem   6.5%  L^p is a complete normed vector space.  Riesz Fischer Theorem   4.3%  Given an ergodic dynamical system, then the space average equals the time average almost everywhere.  Birkhoff's Ergodic Theorem   2.9% 

Show Comments