mathematical proof
rigorous demonstration that a mathematical statement follows from its premises
Cantor's diagonal argument
concept in set theory
proofs of minimax theorem
a class of proofs for von Neumann's minimax theorem
proof by contradiction
form of proof
analytic proof
proof that does not use the cut rule
Furstenberg's proof of the infinitude of primes
mathematical proof
combinatorial proof
proofs in enumerative combinatorics based on bijections or double countings of combinatorial objects
non-surveyable proof
mathematical proof infeasible for a human to verify
Bride's Chair
illustration of the Pythagorean theorem
proof that e is irrational
mathematical proof that Euler's number (e) is irrational
constructive proof
method of proof that demonstrates the existence of a mathematical object by creating or providing a method for creating the object
statistical proof
mathematical proof using statistical tests
Turing's proof
Proof by Alan Turing
proof by exhaustion
proof by examining all individual cases
computer-assisted proof
mathematical proof at least partially generated by computer
direct proof
Way of arriving to a mathematical proof
proof by contrapositive
logical argument
probabilistically checkable proof
type of proof that can be checked by a randomized algorithm using a bounded amount of randomness and reading a bounded number of bits of the proof
strategy-stealing argument
in game theory, a general argument showing, for many 2-player games, that the 2nd player lacks a winning strategy: were a winning strategy to exist for the 2nd player, the 1st player may also play the same strategy to win, a contradiction
Proof of Stein's example
Mathematical proof
indirect proof
either of the two forms of proof: proof by contrapositive and proof by contradiction
proof of the Euler product formula for the Riemann zeta function
use of a Dirichlet series expansion to calculate the complex function
umbral moonshine
mathematical proof
Liber Abaci
Mathematics book written in 1202 by Fibonacci
Rosser's trick
method in mathematical logic