Q.E.D.: различия между версиями
[непроверенная версия] | [непроверенная версия] |
→Формы записи: стилевые правки |
|||
Строка 11: | Строка 11: | ||
== Формы записи == |
== Формы записи == |
||
В систему компьютерной [[вёрстка|вёрстки]] [[TeX|{{TeX}}]] под командой <tt>\qedsymbol</tt> или <tt>\qed</tt> включён символ ■ (заполненный квадрат, так называемый «символ [[Халмош, Пол|Халмоша]]»). В [[Юникод]]е этот символ называется {{sc|end of proof}} (U+220E, ∎). В качестве альтернативы используют □ (пустой квадрат), ‣ (правый треугольник), // (две косые черты), а также русскую аббревиатуру «''{{Nobr|ч. т. д.}}''». |
В систему компьютерной [[вёрстка|вёрстки]] [[TeX|{{TeX}}]] под командой <tt>\qedsymbol</tt> или <tt>\qed</tt> включён символ [[символ конца доказательства]] ■ (заполненный квадрат, так называемый «символ [[Халмош, Пол|Халмоша]]»). В [[Юникод]]е этот символ называется {{sc|end of proof}} (U+220E, ∎). В качестве альтернативы используют □ (пустой квадрат), ‣ (правый треугольник), // (две косые черты), а также русскую аббревиатуру «''{{Nobr|ч. т. д.}}''». |
||
== Примечания == |
== Примечания == |
Версия от 21:22, 29 апреля 2019
Q.E.D. — аббревиатура от лат. quod erat demonstrandum — «что и требовалось доказать», «ч. т. д.»; латинское выражение, обозначающее завершение доказательства теоремы.
Этимология
Выражение quod erat demonstrandum является переводом на латинский с греческого ὅπερ ἔδει δεῖξαι (аббревиатура: ΟΕΔ). При этом греческая фраза имеет значение «что требовалось доказывать», а латинская — «что нужно было показать»[1]. Это выражение использовалось многими древнегреческими математиками, включая Евклида, Архимеда и Аристотеля.
Современная философия
В эпоху Возрождения учёные пользовались латынью, и выражение Q.E.D. часто использовалось в завершении доказательства. Возможно наиболее знаменитое использование Q.E.D. в философии — в основном произведении Бенедикта Спинозы «Этика». Он строил свою метафизику по аналогии с логикой, что предполагало задание алфавита (определение терминов), формулировку логических законов (аксиом), вывод всех остальных положений (теорем) путём логических следствий[2]. Подобная форма изложения материала позволила сильно продвинуться вперед по сравнению со стилем письма Рене Декарта в «Размышлениях о первой философии» , который следует форме дневника[3][источник не указан 1859 дней].
Формы записи
В систему компьютерной вёрстки ΤΕΧ под командой \qedsymbol или \qed включён символ символ конца доказательства ■ (заполненный квадрат, так называемый «символ Халмоша»). В Юникоде этот символ называется end of proof (U+220E, ∎). В качестве альтернативы используют □ (пустой квадрат), ‣ (правый треугольник), // (две косые черты), а также русскую аббревиатуру «ч. т. д.».
Примечания
- ↑ Евклид, «Начала».
- ↑ Б. Спиноза, Сочинения. В 2 томах. Авторский сборник. Издательство: Наука, 2006 г. 570 с. ISBN 5-02-026943-3, 5-02-026944-1.
- ↑ Рене Декарт. Размышления о первой философии. Перевод С. Я. Шейнман-Топштейн .