QED
QED är en förkortning för lat. quod erat demonstrandum - "vad som krävdes för att bevisas", " kap etc. "; ett latinskt uttryck för slutförandet av ett bevis på en sats .
Etymologi
Uttrycket quod erat demonstrandum är en latinsk översättning från grekiskan ὅπερ ἔδει δεῖξαι (förkortning: ΟΕΔ ). Samtidigt har den grekiska frasen betydelsen "vad som krävdes för att bevisas", och latinets - "vad som måste visas" [1] . Detta uttryck användes av många antika grekiska matematiker inklusive Euklid , Arkimedes och Aristoteles .
Samtida filosofi
Under renässansen använde forskare latin, och uttrycket QED användes ofta i slutet av ett bevis. Den kanske mest kända användningen av QED i filosofin är i Benedict Spinozas huvudverk , Ethics . Han byggde sin metafysik i analogi med logik , som innebar att sätta alfabetet (definiera termer), formulera logiska lagar (axiom), härleda alla andra bestämmelser (satser) genom logiska konsekvenser [2] .
Inspelningsformulär
Datorlayoutsystemet Τ Ε Χ under kommandot \qedsymboleller \qedinnehåller symbolen för slutet av beviset ■ (en fylld kvadrat, den så kallade " Halmos -symbolen "). I Unicode kallas detta tecken end of proof (U+220E, ∎). Använd alternativt □ (tom kvadrat), ‣ (rät triangel), // (två snedstreck), samt den ryska förkortningen " ch. t. d. "
Anteckningar
- ↑ Euclid , "Begynnelser".
- ↑ B. Spinoza , Verk. I 2 volymer. Författarens samling. Förlag: Nauka, 2006. 570 sid. ISBN 5-02-026943-3 , 5-02-026944-1.
 Ordböcker och uppslagsverk |
|---|