QED
QED er en forkortelse for lat. quod erat demonstrandum - "hvad der krævedes bevist", " ch. osv. "; et latinsk udtryk for færdiggørelsen af et bevis på en sætning .
Etymologi
Udtrykket quod erat demonstrandum er en latinsk oversættelse fra det græske ὅπερ ἔδει δεῖξαι (forkortelse: ΟΕΔ ). Samtidig har den græske sætning betydningen "hvad der skulle bevises", og det latinske - "hvad der skulle vises" [1] . Dette udtryk blev brugt af mange gamle græske matematikere, herunder Euklid , Arkimedes og Aristoteles .
Samtidsfilosofi
Under renæssancen brugte lærde latin, og udtrykket QED blev ofte brugt i slutningen af et bevis. Den måske mest berømte brug af QED i filosofi er i Benedict Spinozas hovedværk, Ethics . Han byggede sin metafysik i analogi med logik , som indebar at sætte alfabetet (definere udtryk), formulere logiske love (aksiomer), udlede alle andre bestemmelser (sætninger) ved logiske konsekvenser [2] .
Optagelsesformularer
Computerlayoutsystemet Τ Ε Χ under kommandoen \qedsymboleller \qedinkluderer symbolet for slutningen af beviset ■ (en udfyldt firkant, det såkaldte " Halmos -symbol "). I Unicode kaldes dette tegn end of proof (U+220E, ∎). Alternativt kan du bruge □ (tom firkant), ‣ (ret trekant), // (to skråstreger), samt den russiske forkortelse " ch. t. d. "
Noter
- ↑ Euklid , "Begyndelser".
- ↑ B. Spinoza , Værker. I 2 bind. Forfatterens samling. Forlag: Nauka, 2006. 570 s. ISBN 5-02-026943-3 , 5-02-026944-1.
 Ordbøger og encyklopædier |
|---|