Timeline for Theorem versus Proposition
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 30 at 20:44 | comment | added | Humberto José Bortolossi | I think axiom is not a subspecies of TheoremTheorema can ve proved or dispove. Axiomas are take for granted without prrofs. | |
| Jan 5, 2015 at 14:01 | comment | added | Yuichiro Fujiwara | I see. You're saying a style that isn't your cup of tea is inappropriate, then. | |
| Jan 5, 2015 at 13:59 | comment | added | bof | It is a matter of taste. | |
| Jan 5, 2015 at 13:34 | comment | added | Yuichiro Fujiwara | I said "happens to be." Do the "some mathematicians" in your mind write or explicitly say, in their papers and books, that "proposition" in their dictionary is "trivial theorem"? If they do, what's wrong with expressing one's opinion that something is trivial in their own work? | |
| Jan 5, 2015 at 13:30 | comment | added | bof | Labeling some results as 'propositions' meaning 'trivial theorems' is inappropriate because it smacks of snobbery and false humility. The reader can judge for himself whether the result is trivial, and his opinion may differ from the author's. | |
| Jan 5, 2015 at 13:14 | comment | added | Yuichiro Fujiwara | If a proposition is an assertion which may be proved or unproved, true or false, why is it inappropriate if a proposition happens to be a trivial theorem, i.e., a trivial assertion that can be proved from the axioms? | |
| S Jan 5, 2015 at 13:08 | history | answered | bof | CC BY-SA 3.0 | |
| S Jan 5, 2015 at 13:08 | history | made wiki | Post Made Community Wiki by bof |