theorem
To formulate into a theorem.
Noun
- A mathematical statement of some importance that has been proven to be true. Minor theorems are often called propositions. Theorems which are not very interesting in themselves but are an essential part of a bigger theorem's proof are called lemmas.
- A mathematical statement that is expected to be true.
- Fermat's Last Theorem was known thus long before it was proved in the 1990s.
- A syntactically correct expression that is deducible from the given axioms of a deductive system.
Origin
From Middle French théorème, from Late Latin theōrēma, from Ancient Greek θεώρημα (theṓrēma, “speculation, proposition to be proved”) (Euclid), from θεωρέω (theōréō, “to look at, view, consider, examine”), from θεωρός (theōrós, “spectator”), from θέα (théa, “a view”) + ὁράω (horáō, “to see, look”). See also theory, and theater.
Forms
Synonyms
Hypernyms
Hyponyms
Böhm-Jacopini theorem structured program theorem Aumann's agreement theorem Bernoulli's theorem binomial theorem Carnot's theorem central limit theorem Ceva's theorem Cook-Levin theorem Cook's theorem cosine theorem De Morgan's theorem double angle theorem Dvoretzky's theorem Eggan's theorem Euclid's theorem exterior angle theorem extreme value theorem Fermat's Last Theorem first isomorphism theorem Fisher-Tippett-Gnedenko theorem Fisher-Tippett theorem fundamental theorem fundamental theorem of algebra
Related
theoretical theorize theory axiom corollary lemma proof proposition definition conjecture law of nature principle equation inequality formula mathematics Special:Search/intitle:/ theorem/ Appendix:Roget MICRA thesaurus/Class IV § 454. Topic
Derived
antitheorem countertheorem metatheorem nontheorem theorematic theoremhood theoremic
Verb
- To formulate into a theorem.