Difference between revisions of "Proof"
Tmtoulouse (talk | contribs) (revertin George Hammond stuff) |
(removed some junk) |
||
| Line 1: | Line 1: | ||
==Mathematical proof== | ==Mathematical proof== | ||
| − | + | A mathematical proof is a step-by-step demonstration of the truth of a mathematical theorem. Proofs build on [[axiom | axioms]], which are statements that are assumed to be true without proof, as well as previously-proved [[theorem | theorems]]. | |
| − | A mathematical proof is a step-by-step demonstration of the truth | ||
| − | Proofs build on [[axiom | axioms]], which are statements that are assumed to be true without proof, | ||
| − | as well as previously-proved [[theorem | theorems]]. | ||
Several types of proofs are widely used, such as [[proof by contradiction | proof by contradiction]] | Several types of proofs are widely used, such as [[proof by contradiction | proof by contradiction]] | ||
and [[proof by induction | proof by induction]]. Proofs that rely only on certain simple forms of reasoning | and [[proof by induction | proof by induction]]. Proofs that rely only on certain simple forms of reasoning | ||
are sometimes called [[elementary proof | elementary proofs]]. | are sometimes called [[elementary proof | elementary proofs]]. | ||
| − | |||
| − | |||
| − | |||
==Scientific proof== | ==Scientific proof== | ||
| − | Unlike the [[theorem | theorems]] of [[mathematics | mathematics]], [[science | science]] does not seek to prove that its [[theory | theories]] are true. Instead, the [[scientific method | scientific method]] seeks to check whether the predictions implied by a theory are observed in nature. Therefore, as philosopher of science [[Karl Popper | Karl Popper]] argued, science can only hope to show that a theory is false. But scientists recognize that science ''can never prove'' that a theory is true. Therefore scientists never claim that their theories are [[fact | facts]]. Instead, science searches for theories that are not disproved by currently-known experimental observations. Insofar as theories are consistent with nature, they may serve as a guide to improve [[technology | technology]]. | + | Unlike the [[theorem | theorems]] of [[mathematics | mathematics]], [[science | science]] does not seek to prove that its [[theory | theories]] are true. Instead, the [[scientific method | scientific method]] seeks to check whether the predictions implied by a theory are observed in nature. Therefore, as philosopher of science [[Karl Popper | Karl Popper]] argued, science can only hope to show that a theory is false. But scientists recognize that science ''can never prove'' that a theory is true in the same sense that a mathematical theorem is true. Therefore scientists never claim that their theories are [[fact | facts]]. Instead, science searches for theories that are not disproved by currently-known experimental observations. Insofar as theories are consistent with nature, they may serve as a guide to improve [[technology | technology]]. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Revision as of 05:59, April 2, 2007
Mathematical proof
A mathematical proof is a step-by-step demonstration of the truth of a mathematical theorem. Proofs build on axioms, which are statements that are assumed to be true without proof, as well as previously-proved theorems.
Several types of proofs are widely used, such as proof by contradiction and proof by induction. Proofs that rely only on certain simple forms of reasoning are sometimes called elementary proofs.
Scientific proof
Unlike the theorems of mathematics, science does not seek to prove that its theories are true. Instead, the scientific method seeks to check whether the predictions implied by a theory are observed in nature. Therefore, as philosopher of science Karl Popper argued, science can only hope to show that a theory is false. But scientists recognize that science can never prove that a theory is true in the same sense that a mathematical theorem is true. Therefore scientists never claim that their theories are facts. Instead, science searches for theories that are not disproved by currently-known experimental observations. Insofar as theories are consistent with nature, they may serve as a guide to improve technology.