A QED a lat rövidítése . quod erat demonstrandum - „amit kellett bizonyítani”, „ fejezet stb. ”; latin kifejezés egy tétel bizonyításának befejezésére .
A quod erat demonstrandum kifejezés a görög ὅπερ ἔδει δεῖξαι (rövidítés: ΟΕΔ ) latin fordítása . Ugyanakkor a görög kifejezés jelentése „amit kellett bizonyítani”, a latin pedig „amit meg kellett mutatni” [1] . Ezt a kifejezést sok ókori görög matematikus használta, köztük Eukleidész , Arkhimédész és Arisztotelész .
A reneszánsz idején a tudósok latint használtak, és a QED kifejezést gyakran használták a bizonyítás végén. A QED talán leghíresebb alkalmazása a filozófiában Benedict Spinoza fő művében, az Etikában található . Metafizikáját a logikával analógia alapján építette fel , amely magában foglalta az ábécé beállítását (definíciók meghatározása), a logikai törvények (axiómák) megfogalmazását, és az összes többi rendelkezést (tételt) logikai következményekből [2] .
A számítógépes elrendezési rendszer Τ Ε Χ parancs alatt \qedsymbolvagy \qedtartalmazza a bizonyítás végének szimbólumát ■ (egy kitöltött négyzet, az ún. „ Halmos szimbólum ”). A Unicode -ban ezt a karaktert bizonyítás végének nevezik (U+220E, ∎). Alternatív megoldásként használja a □ (üres négyzet), ‣ (derékszögű háromszög), // (két perjel), valamint a „ ch. t. d. ” orosz rövidítést.
Szótárak és enciklopédiák |
---|