QED
QED es una abreviatura de lat. quod erat demostrandum - "lo que se requería probar", " cap. etc. "; una expresión latina para completar una prueba de un teorema .
Etimología
La expresión quod erat demostrandum es una traducción latina del griego ὅπερ ἔδει δεῖξαι (abreviatura: ΟΕΔ ). Al mismo tiempo, la frase griega tiene el significado de "lo que se requería probar", y el latín - "lo que se tenía que demostrar" [1] . Esta expresión fue utilizada por muchos matemáticos griegos antiguos, incluidos Euclides , Arquímedes y Aristóteles .
Filosofía contemporánea
Durante el Renacimiento, los eruditos usaban el latín y la expresión QED se usaba a menudo al final de una demostración. Quizás el uso más famoso de QED en filosofía se encuentra en la obra principal de Benedict Spinoza , Ética . Construyó su metafísica por analogía con la lógica , lo que implicó establecer el alfabeto (definir términos), formular leyes lógicas (axiomas), derivar todas las demás disposiciones (teoremas) por consecuencias lógicas [2] .
Formas de registro
El sistema de diseño de computadora Τ Ε Χ bajo el comando \qedsymbolo \qedincluye el símbolo para el final de la prueba ■ (un cuadrado relleno, el llamado “ símbolo de Halmos ”). En Unicode , este carácter se denomina fin de prueba (U+220E, ∎). Alternativamente, use □ (cuadrado vacío), ‣ (triángulo rectángulo), // (dos barras), así como la abreviatura rusa " ch. t. d. "
Notas
- ↑ Euclides , "Comienzos".
- ↑ B. Spinoza , Obras. En 2 tomos. Colección del autor. Editorial: Nauka, 2006. 570 p. ISBN 5-02-026943-3 , 5-02-026944-1.
 diccionarios y enciclopedias |
|---|