Mixing
Definition: Theorem, Lemma, Proposition, Conjecture and Principle etc.
$begingroup$
Definition: Theorem, Lemma, Proposition, Corollary, Postulate, Statement, Fact, Observation, Expression, Fact, Property, Conjecture and Principle
Most of the time a mathematical statement is classified with one the words listed above.
However, I can't seem to find definitions of them all online, so I will request your aid in describe/define them.
Also, when is a mathematical statement a theorem versus a lemma ? I've read that a theorem is important while a lemma is not so important and used to prove a theorem. However a theorem is sometimes used to prove some other theorem. This implies that some theorems are also lemmas ?
Is it subjective with respect to the author, which statements become a theorem, lemma, etc. ?
soft-question terminology proof-writing
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
$endgroup$
|
show 1 more comment
$begingroup$
Definition: Theorem, Lemma, Proposition, Corollary, Postulate, Statement, Fact, Observation, Expression, Fact, Property, Conjecture and Principle
Most of the time a mathematical statement is classified with one the words listed above.
However, I can't seem to find definitions of them all online, so I will request your aid in describe/define them.
Also, when is a mathematical statement a theorem versus a lemma ? I've read that a theorem is important while a lemma is not so important and used to prove a theorem. However a theorem is sometimes used to prove some other theorem. This implies that some theorems are also lemmas ?
Is it subjective with respect to the author, which statements become a theorem, lemma, etc. ?
soft-question terminology proof-writing
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
$endgroup$
3
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
2
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34
|
show 1 more comment
$begingroup$
Definition: Theorem, Lemma, Proposition, Corollary, Postulate, Statement, Fact, Observation, Expression, Fact, Property, Conjecture and Principle
Most of the time a mathematical statement is classified with one the words listed above.
However, I can't seem to find definitions of them all online, so I will request your aid in describe/define them.
Also, when is a mathematical statement a theorem versus a lemma ? I've read that a theorem is important while a lemma is not so important and used to prove a theorem. However a theorem is sometimes used to prove some other theorem. This implies that some theorems are also lemmas ?
Is it subjective with respect to the author, which statements become a theorem, lemma, etc. ?
soft-question terminology proof-writing
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
$endgroup$
Definition: Theorem, Lemma, Proposition, Corollary, Postulate, Statement, Fact, Observation, Expression, Fact, Property, Conjecture and Principle
Most of the time a mathematical statement is classified with one the words listed above.
However, I can't seem to find definitions of them all online, so I will request your aid in describe/define them.
Also, when is a mathematical statement a theorem versus a lemma ? I've read that a theorem is important while a lemma is not so important and used to prove a theorem. However a theorem is sometimes used to prove some other theorem. This implies that some theorems are also lemmas ?
Is it subjective with respect to the author, which statements become a theorem, lemma, etc. ?
soft-question terminology proof-writing
soft-question terminology proof-writing
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
edited Sep 25 '17 at 10:19
Shuzheng
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
asked Jan 20 '14 at 15:03
ShuzhengShuzheng
1,97721643
1,97721643
3
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
2
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34
|
show 1 more comment
3
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
2
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34
3
3
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
2
2
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34
|
show 1 more comment
2 Answers
2
active
oldest
votes
$begingroup$
I have taken this excerpt out from How to think like a Mathematician
I think it does a great job of describing what those words mean in a sentence. Later in the chapter, he goes onto describe how we have some conjectures which have been called "Theorems" even though they weren't proven. For example, Fermat's Last Theorem was referred to as a Theorem even though it hadn't been proven. If you haven't read the book then I highly recommend it if you are a undergraduate in your first two years of math.
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
$endgroup$
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
add a comment |
$begingroup$
Theorem vs. Lemma is totally subjective, but typically lemmas are used as components in the proof of a theorem. Propositions are perhaps even weaker, but again, totally subjective.
A conjecture is a statement which requires proof, should be proven, and is not proven. A principle is perhaps the same as a conjecture, but perhaps a statement which is asserted but taken as true even without proof, like an axiom.
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
$endgroup$
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f644996%2fdefinition-theorem-lemma-proposition-conjecture-and-principle-etc%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I have taken this excerpt out from How to think like a Mathematician
I think it does a great job of describing what those words mean in a sentence. Later in the chapter, he goes onto describe how we have some conjectures which have been called "Theorems" even though they weren't proven. For example, Fermat's Last Theorem was referred to as a Theorem even though it hadn't been proven. If you haven't read the book then I highly recommend it if you are a undergraduate in your first two years of math.
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
$endgroup$
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
add a comment |
$begingroup$
I have taken this excerpt out from How to think like a Mathematician
I think it does a great job of describing what those words mean in a sentence. Later in the chapter, he goes onto describe how we have some conjectures which have been called "Theorems" even though they weren't proven. For example, Fermat's Last Theorem was referred to as a Theorem even though it hadn't been proven. If you haven't read the book then I highly recommend it if you are a undergraduate in your first two years of math.
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
$endgroup$
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
add a comment |
$begingroup$
I have taken this excerpt out from How to think like a Mathematician
I think it does a great job of describing what those words mean in a sentence. Later in the chapter, he goes onto describe how we have some conjectures which have been called "Theorems" even though they weren't proven. For example, Fermat's Last Theorem was referred to as a Theorem even though it hadn't been proven. If you haven't read the book then I highly recommend it if you are a undergraduate in your first two years of math.
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
$endgroup$
I have taken this excerpt out from How to think like a Mathematician
I think it does a great job of describing what those words mean in a sentence. Later in the chapter, he goes onto describe how we have some conjectures which have been called "Theorems" even though they weren't proven. For example, Fermat's Last Theorem was referred to as a Theorem even though it hadn't been proven. If you haven't read the book then I highly recommend it if you are a undergraduate in your first two years of math.
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
answered Jan 20 '14 at 16:01
Jeel ShahJeel Shah
5,296115599
5,296115599
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
add a comment |
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
$begingroup$
The definition of proposition you posed is not correct. From The Free On-line Dictionary of Computing (18 March 2015) [foldoc]: proposition <logic> A statement in {propositional logic} which may be either true or false. Each proposition is typically represented by a letter in a {formula} such as "p => q", meaning proposition p implies proposition q.
$endgroup$
– crow
Mar 12 '17 at 4:21
1
1
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
$begingroup$
@crow The goal of this answer is to explain the difference between a Theorem and a Lemma in terms of hierarchy. For example, when should one use "Theorem" and when should they use "Lemma."
$endgroup$
– Jeel Shah
Mar 12 '17 at 15:20
add a comment |
$begingroup$
Theorem vs. Lemma is totally subjective, but typically lemmas are used as components in the proof of a theorem. Propositions are perhaps even weaker, but again, totally subjective.
A conjecture is a statement which requires proof, should be proven, and is not proven. A principle is perhaps the same as a conjecture, but perhaps a statement which is asserted but taken as true even without proof, like an axiom.
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
$endgroup$
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
add a comment |
$begingroup$
Theorem vs. Lemma is totally subjective, but typically lemmas are used as components in the proof of a theorem. Propositions are perhaps even weaker, but again, totally subjective.
A conjecture is a statement which requires proof, should be proven, and is not proven. A principle is perhaps the same as a conjecture, but perhaps a statement which is asserted but taken as true even without proof, like an axiom.
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
$endgroup$
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
add a comment |
$begingroup$
Theorem vs. Lemma is totally subjective, but typically lemmas are used as components in the proof of a theorem. Propositions are perhaps even weaker, but again, totally subjective.
A conjecture is a statement which requires proof, should be proven, and is not proven. A principle is perhaps the same as a conjecture, but perhaps a statement which is asserted but taken as true even without proof, like an axiom.
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
$endgroup$
Theorem vs. Lemma is totally subjective, but typically lemmas are used as components in the proof of a theorem. Propositions are perhaps even weaker, but again, totally subjective.
A conjecture is a statement which requires proof, should be proven, and is not proven. A principle is perhaps the same as a conjecture, but perhaps a statement which is asserted but taken as true even without proof, like an axiom.
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
answered Jan 20 '14 at 15:15
Chris BonnellChris Bonnell
71336
71336
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
add a comment |
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
$begingroup$
I always thought the lemmas were lesser than propositions in terms of intellectual merit...
$endgroup$
– Joe Tait
Feb 10 '14 at 14:46
2
2
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
$begingroup$
A lemma is a theorem which is "not the main point", typically depended upon by a theorem which is the main point, where the point is whatever the author is trying to prove
$endgroup$
– crow
Mar 12 '17 at 4:22
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f644996%2fdefinition-theorem-lemma-proposition-conjecture-and-principle-etc%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
3
$begingroup$
I think you mean "subjective", in which case the answer is yes.
$endgroup$
– user64687
Jan 20 '14 at 15:10
2
$begingroup$
Don't forget postulate, statement, fact, observation, expression, corollary, property, etc...
$endgroup$
– DanielV
Jan 20 '14 at 15:11
$begingroup$
It can actually be subjective to the continent as well. Europe has different conventions than the US for the use of lemma (or it might have been corollary) iirc.
$endgroup$
– DanielV
Jan 20 '14 at 15:13
$begingroup$
A conjecture will usually not have a proof, at least initially
$endgroup$
– Henry
Jan 20 '14 at 15:15
$begingroup$
Thanks DanielV, I've added your post.
$endgroup$
– Shuzheng
Jan 20 '14 at 15:34