QED
QED on lyhenne sanoista lat . quod erat demonstrandum - "mitä vaadittiin todistettavaksi", " luku jne. "; latinankielinen lauseke lauseen todisteen loppuun saattamiselle .
Etymologia
Ilmaisu quod erat demonstrandum on latinalainen käännös kreikan sanasta ὅπερ ἔδει δεῖξαι (lyhenne: ΟΕΔ ). Samaan aikaan kreikankielisellä lauseella on merkitys "mitä vaadittiin todistettavaksi" ja latinalaisella - "mitä piti näyttää" [1] . Tätä ilmaisua käyttivät monet antiikin kreikkalaiset matemaatikot, mukaan lukien Eukleides , Arkhimedes ja Aristoteles .
Nykyfilosofia
Renessanssin aikana tutkijat käyttivät latinaa, ja ilmaisua QED käytettiin usein todisteen lopussa. Kenties tunnetuin QED : n käyttö filosofiassa on Benedict Spinozan pääteoksessa Ethics . Hän rakensi metafysiikkansa analogisesti logiikan kanssa , mikä sisälsi aakkosten asettamisen (termien määrittely), loogisten lakien (aksioomien) muotoilun ja kaikkien muiden määräysten (lauseiden) johtamisen loogisilla seurauksilla [2] .
Tallennuslomakkeet
Tietokoneen asettelujärjestelmä Τ Ε Χ komennolla \qedsymboltai \qedsisältää todisteen lopun symbolin ■ (täytetty neliö, ns. Halmos -symboli ). Unicodessa tätä merkkiä kutsutaan todisteen lopuksi (U+220E, ∎) . Vaihtoehtoisesti voit käyttää □ (tyhjä neliö), ‣ (oikea kolmio), // (kaksi kauttaviivaa) sekä venäjänkielistä lyhennettä " ch. t. d. "
Muistiinpanot
- ↑ Euclid , "Alku".
- ↑ B. Spinoza , Teokset. 2 osassa. Tekijän kokoelma. Kustantaja: Nauka, 2006. 570 s. ISBN 5-02-026943-3 , 5-02-026944-1.
 Sanakirjat ja tietosanakirjat |
|---|