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