- 1定理(數學上已被證明的命題)。要和「定律」(law,物理上歸納出來的規律)、「理論」(theory)分清楚:定理是證明出來的,不會被推翻。
A theorem is a mathematical statement that has been proved — shown, step by careful step, to follow from things already accepted as true. The proof is what makes it a theorem. Before the proof, the same statement is only a 'conjecture' (a good guess); after the proof, it is settled forever, and no later discovery can undo it. That is very different from a scientific theory, which fits the evidence we have so far and can be overturned. Famous ones carry their prover's name: Pythagoras' theorem, Fermat's Last Theorem. The word lives in mathematics, logic, physics and computer science, and it is quite formal. Outside those subjects people sometimes reach for it to mean 'a rule I am confident about' ('my theorem is that the shortest queue always slows down') — that is a joke borrowing the authority of mathematics, and it works because everyone knows a real theorem is airtight. Countable: a theorem, several theorems. English also has a rare verb 'theorem', meaning to state or treat something as a theorem, but you will almost never meet it, and using the noun is always the safer choice.
組成From Greek 'theorema', meaning something looked at closely, a proposition put up for examination. Inside it is 'theorein', to look at or consider, built on 'theoros', a spectator — from 'thea' (a view) plus 'horao' (to see). So a theorem was first of all a thing set out to be looked at hard.
原始詞典資料4 筆記錄
以下是外部詞典記錄的用法,摘錄並精簡格式,我們還沒有寫成教學內容。上面的說明才是我們自己寫的;有些用法可能上面已經講過了。
theoremnoun/ˈθiː.ə.ɹəm/
- 1
mathematicssciencesA 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.
- 2
mathematicssciencesA mathematical statement that is expected to be true.
- Fermat's Last Theorem was known thus long before it was proved in the 1990s.
- 3
human-scienceslogicmathematicsA syntactically correct expression that is deducible from the given axioms of a deductive system.
theoremverb/ˈθiː.ə.ɹəm/
- 1
To formulate into a theorem.
摘錄自 英文維基詞典 English Wiktionary,已精簡格式;依 CC BY-SA 4.0 授權使用,改動後的內容同樣以此授權提供。