Most recent change of Proof
Edit made on March 14, 2017 by ColinWright at 13:23:50
Deleted text in red /
Inserted text in green
WW
WM
HEADERS_END
A proof is a mathematical statement which has been demonstrated to the satisfaction of enough mathematicians of repute normally using the standard methods of mathematical logic, deduction and induction.
[[[>50
People will talk about axioms and rules of deduction, and say
that a proof consists of (effectively) a web of statements, each
of which is either an axiom, or the result of applying a rule of
deduction/derivation from earlier statements.
Well, perhaps, in theory, yes.
In practice, that's not how it ~works. It's much murkier.
]]]
A proof is a mathematical statement which has been demonstrated
to the satisfaction of enough mathematicians of repute normally
using the standard methods of mathematical logic, deduction and
induction.
Such a statement is then normally called a theorem.
Here is a list of pages on proofs:
* Proof by induction
* Proof by contradiction
* Proof that e is irrational
* Pi is irrational
* Root two is irrational