QED

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 .  

Etimológia

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 .

Kortárs filozófia

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] .

Rögzítési űrlapok

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.

Jegyzetek

  1. Eukleidész , "Kezdetek".
  2. B. Spinoza , Művek. 2 kötetben. A szerző gyűjteménye. Kiadó: Nauka, 2006. 570 p. ISBN 5-02-026943-3 , 5-02-026944-1.