QED
QED je zkratka pro lat. quod erat demonstrandum - „co bylo požadováno k prokázání“, „ kap. atd. “; latinský výraz pro dokončení důkazu věty .
Etymologie
Výraz quod erat demonstrandum je latinský překlad z řeckého ὅπερ ἔδει δεῖξαι (zkratka: ΟΕΔ ). Zároveň má řecká fráze význam „co bylo třeba dokázat“ a latinské – „co se muselo ukázat“ [1] . Tento výraz byl používán mnoha starověkými řeckými matematiky včetně Euklida , Archiméda a Aristotela .
Současná filozofie
Během renesance učenci používali latinu a výraz QED byl často používán na konci důkazu. Snad nejslavnější použití QED ve filozofii je v hlavním díle Benedicta Spinozy , Etika . Svou metafyziku vybudoval na základě analogie s logikou , která zahrnovala nastavení abecedy (definování pojmů), formulování logických zákonů (axiomů), odvození všech ostatních ustanovení (teorémů) logickými důsledky [2] .
Záznamové formuláře
Počítačový layoutový systém Τ Ε Χ pod příkazem \qedsymbolnebo \qedobsahuje symbol konce nátisku ■ (vyplněný čtverec, tzv. „ Halmos symbol “). V Unicode se tento znak nazývá konec důkazu (U+220E, ∎). Případně použijte □ (prázdný čtverec), ‣ (pravoúhlý trojúhelník), // (dvě lomítka) a také ruskou zkratku " ch. t. d. "
Poznámky
- ↑ Euclid , "Začátky".
- ↑ B. Spinoza , Works. Ve 2 svazcích. Autorská sbírka. Nakladatelství: Nauka, 2006. 570 s. ISBN 5-02-026943-3 , 5-02-026944-1.
 Slovníky a encyklopedie |
|---|