QED
QED este o abreviere pentru lat. quod erat demonstrandum - „ceea ce se cerea să fie dovedit”, „ ch. etc. ”; o expresie latină pentru completarea unei demonstrații a unei teoreme .
Etimologie
Expresia quod erat demonstrandum este o traducere latină din greaca ὅπερ ἔδει δεῖξαι (abreviere: ΟΕΔ ). În același timp, expresia greacă are sensul „ceea ce se cerea a fi dovedit”, iar latinescul - „ceea ce trebuia arătat” [1] . Această expresie a fost folosită de mulți matematicieni greci antici, inclusiv Euclid , Arhimede și Aristotel .
Filosofie contemporană
În timpul Renașterii, oamenii de știință au folosit limba latină, iar expresia QED a fost adesea folosită la sfârșitul unei dovezi. Poate cea mai faimoasă utilizare a QED în filozofie este în lucrarea principală a lui Benedict Spinoza , Etica . El și-a construit metafizica prin analogie cu logica , care presupunea stabilirea alfabetului (definirea termenilor), formularea legilor logice (axiomele), derivarea tuturor celorlalte prevederi (teoreme) prin consecințe logice [2] .
Formulare de înregistrare
Sistemul computerizat Τ Ε Χ sub comanda \qedsymbolsau \qedinclude simbolul pentru sfârșitul probei ■ (un pătrat umplut, așa-numitul „ simbol Halmos ”). În Unicode , acest caracter este numit sfârșitul dovezii (U+220E, ∎). Alternativ, utilizați □ (pătrat gol), ‣ (triunghi drept), // (două bare oblice), precum și abrevierea rusă „ ch. t. d. ”
Note
- ↑ Euclid , „Începuturi”.
- ↑ B. Spinoza , Lucrări. În 2 volume. Colecția autorului. Editura: Nauka, 2006. 570 p. ISBN 5-02-026943-3 , 5-02-026944-1.
 Dicționare și enciclopedii |
|---|