Оглавление
Вопросы и ответы.
-
Определение и происхождение QED
- QED означает “то, что должно было быть продемонстрировано” и является аббревиатурой латинского выражения quod erat demonstrandum.
- Фраза происходит от греческого ὅπερίδει δείαι и использовалась многими математиками, включая Евклида и Архимеда.
- В английском языке фраза может иметь разные значения, в зависимости от контекста.
-
Использование в философии и математике
- В эпоху Возрождения ученые часто использовали QED для завершения доказательств.
- Барух Спиноза использовал QED в своей “Этике” для обозначения геометрического порядка и улучшения стиля по сравнению с Рене Декартом.
- QED отличается от Quod erat faciendum, которое использовалось для обозначения построений геометрических объектов, а не доказательств теорем.
-
Современные практики и символы
- В современных математических текстах QED встречается редко, но существуют различные символические обозначения для окончания доказательства.
- Пол Халмос предложил использовать черный квадрат в конце доказательства, что стало стандартной практикой.
- В Unicode есть символ “окончания проверки” (U+220E).
-
Юмористическое использование
- В литературе и культуре QED используется для создания юмористических ситуаций, связанных с доказательствами и логикой.
- В “Уловке-22” и “Путеводителе автостопом по галактике” QED используется для иллюстрации абсурдности и парадоксальности доказательств.
- В “Криптономиконе” и “Докторе Хаусе” QED используется для создания комических моментов и оправдания прозвищ.
Полный текст статьи: