Надгробие (типографика) - Tombstone (typography)
В математике надгробие , халмос , конец доказательства или символ QED «∎» (или «□») - это символ, используемый для обозначения конца доказательства вместо традиционного сокращения «QED» для латинского языка. фраза « quod erat manifestrandum ». В журналах это один из различных символов, используемых для обозначения конца статьи.
В Юникоде он представлен как символ
U + 220E ∎ КОНЕЦ ДОКАЗАТЕЛЬСТВА (HTML ∎
). Его графическая форма может быть разной, это может быть полый или заполненный прямоугольник или квадрат.
В AMS-LaTeX , символ автоматически добавляется в конце пробной среды \begin{proof}
... \end{proof}
. Она также может быть получена из команд \qedsymbol
, \qedhere
или \qed
(последний вызывает символ , который должен быть выровнен по правому краю).
Его иногда называют «символом окончательности Халмоса» или «халмосом» в честь математика Пола Халмоса , который впервые использовал его в математическом контексте в 1950 году. Он пришел к идее использовать его, когда увидел, что он используется для обозначения конца статей. в журналах . В своих мемуарах « Я хочу быть математиком» он написал следующее:
Этот символ определенно не мое изобретение - он появился в популярных журналах (не математических) до того, как я принял его, но, опять же, я, кажется, ввел его в математику. Это символ, который иногда выглядит как ▯ и используется для обозначения конца, обычно конца доказательства. Чаще всего его называют «надгробие», но по крайней мере один великодушный автор назвал его «халмос».
Смотрите также
Примечания
- ^ "Окончательный словарь высшего математического жаргона - QED" Math Vault . 2019-08-01 . Проверено 4 ноября 2019 .
- ^ Фостер, AJ "Надгробия в типографии | AJ Foster" . aj-foster.com . Проверено 5 ноября 2019 .
- ^ «LaTeX / Теоремы - Викиучебники, открытые книги для открытого мира» . en.wikibooks.org . Проверено 5 ноября 2019 .
- ^ Халмос, Пол Р. (Пол Ричард), 1916-2006. (1950). Теория меры . Нью-Йорк: Ван Ностранд. С. 6 . ISBN 0387900888. OCLC 529634 .CS1 maint: несколько имен: список авторов ( ссылка )
- ^ Пол Р. Халмос, Я хочу быть математиком: автоматография , 1985, стр. 403.
использованная литература
- Миллер, Джефф (29 сентября 2007 г.), Самые ранние примеры использования символов теории множеств и логики , получено 26 июня 2010 г.