# proof

The mathematical concept of proof differs from the scientific concept in that in mathematics, a proof is logically deduced from axioms or from other theorems which have also been logically deduced, whereas for a scientific proof a preponderance of evidence is sufficient. Thus, a valid mathematical proof assures there are no counterexamples  to the proven statement.

According to Paul Nahin, the most famous proof by contradiction is Euclid’s proof of the infinitude of primes, which starts by assuming that there is in fact a largest prime number (and thus the primes are finite). Proofs that a given number is irrational (such as $\pi$ or $\sqrt{5}$) also tend to prove the irrationality of the number by at first assuming that the number is in fact rational and that there are two integers which form a ratio for the given number.

Another kind of proof is the proof by induction, which starts by showing the statement is true for a small case (such as $n=1$ when dealing with integers) and that the statement is true for a larger case when it is true for the immediately smaller case (e.g., that if it’s true for $n$ it is also true for $n+1$). Thus, showing that it is true for the small case proves that it is also true for the next larger case, and the next larger case after that, and therefore all the larger cases.

## References

• 1 Paul J. Nahin, . Princeton: Princeton University Press (2006): 8
• 2 Thomas A. Whitelaw, Introduction to Abstract Algebra. New York: CRC Press (1995): 11
Title proof Proof 2013-03-22 18:10:22 2013-03-22 18:10:22 PrimeFan (13766) PrimeFan (13766) 4 PrimeFan (13766) Definition msc 00A05