Надгробие (типографика) - Tombstone (typography)

Различные формы символа конца доказательства

В математике надгробие, Halmos, конец доказательства, или же Q.E.D. символ «∎» (или «□») - это символ, используемый для обозначения конца доказательство, вместо традиционной аббревиатуры Q.E.D. для латинской фразы "quod erat manifestrandum ", что означает" который должен был быть продемонстрирован ".[1] В журналах это один из различных символов, используемых для обозначения конца статьи.[2]

В Unicode, он представлен как символ U + 220E ∎ КОНЕЦ ДОКАЗАТЕЛЬСТВА (HTML∎). Его графическая форма может быть разной, это может быть полый или заполненный прямоугольник или квадрат.

В AMS-LaTeX, символ автоматически добавляется в конце среды проверки begin {proof} ... end {proof}. Его также можно получить из команд qedsymbol, qedhere или же qed (последнее приводит к выравниванию символа по правому краю).[3]

Его иногда называют «символом окончательности Халмоса» или «Халмосом» в честь математика. Пол Халмос, который впервые использовал его в математическом контексте в 1950 году.[4] Он получил идею использовать его, когда увидел, что он используется для обозначения конца статей в журналы. В своих мемуарах Я хочу быть математиком, он написал следующее:[5]

Этот символ определенно не мое изобретение - он появился в популярных журналах (не математических) до того, как я принял его, но, опять же, я, кажется, ввел его в математику. Это символ, который иногда выглядит как ▯ и используется для обозначения конца, обычно конца доказательства. Чаще всего его называют «надгробие», но по крайней мере один великодушный автор назвал его «халмосом».

Смотрите также

Примечания

  1. ^ "Окончательный словарь высшего математического жаргона - Q.E.D." Математическое хранилище. 2019-08-01. Получено 2019-11-04.
  2. ^ Фостер, А. Дж. "Надгробия в типографике | Эй Джей Фостер". aj-foster.com. Получено 2019-11-05.
  3. ^ «LaTeX / Теоремы - Викиучебники, открытые книги для открытого мира». en.wikibooks.org. Получено 2019-11-05.
  4. ^ Халмос, Пол Р. (Paul Richard), 1916-2006. (1950). Теория меры. Нью-Йорк: Ван Ностранд. стр.6. ISBN  0387900888. OCLC  529634.CS1 maint: несколько имен: список авторов (связь)
  5. ^ Пол Р. Халмос, Я хочу быть математиком: автоматография, 1985, с. 403.

Рекомендации