Talk:Proof: Difference between revisions

From Why start at x, y, z
m (Ompaul moved page Proof to Talk:Proof)
mNo edit summary
Line 12: Line 12:
Possible Components:
Possible Components:


A theorem is statement of one or more steps which shows a mathematical claim.
A theorem is statement of one or more steps which shows a mathematical claim to be true.


A lemma is a theorem where the result is proven elsewhere, when accepted it is used to show solved steps in other theorems or proofs.
A lemma is a theorem where the result is proven elsewhere, when accepted it is used to show solved steps in other theorems or proofs.


A corollary is similar to the a theorem's result which follows from the the details in a previous proof.
A corollary is similar to the theorem's result which follows from the the details in a previous proof.
 
(unhappy need more reading)
Types of proofs: The long list: Contradiction. Contrapositive. Costructive. Inductive. Without words. (-- not great usually needs words useful explanation)
Types of proofs: The long list: Contradiction. Contrapositive. Costructive. Inductive. Without words. (-- not great usually needs words useful explanation)

Revision as of 20:06, 29 July 2021

Proof

Work in Progress

Point of confusion

Colloquial use of "mathematical proof" The expression "mathematical proof" is used by lay people to refer to using mathematical methods or arguing with mathematical objects, such as numbers, to demonstrate something about everyday life, or when data used in an argument is numerical. It is sometimes also used to mean a "statistical proof" (below), especially when used to argue from data.


A proof is an argument which is logically correct, clearly showing the truth of a stated theorem.

Possible Components:

A theorem is statement of one or more steps which shows a mathematical claim to be true.

A lemma is a theorem where the result is proven elsewhere, when accepted it is used to show solved steps in other theorems or proofs.

A corollary is similar to the theorem's result which follows from the the details in a previous proof. (unhappy need more reading) Types of proofs: The long list: Contradiction. Contrapositive. Costructive. Inductive. Without words. (-- not great usually needs words useful explanation)