Словомания

Вы наверняка обращали внимание на то, что во многих журналах в конце статей ставится специальный символ. Обычно это заполненный квадратик (■), но, в зависимости от журнала, это могут быть и киски, и дискетки, и веточки с листиками. Этот символ нужен для того, чтобы быстро понять, кончилась ли статья, или нужно искать продолжение на других страницах.

В википедии этот символ называют символом Халмоша в честь математика Пола Ричарда Халмоша. Предполагается, что он заменяет фразу «что и требовалось доказать» и должен стоять после доказательства теорем.

Я вспомнил, что в университете нам действительно показывали этот символ. Но тогда  он показался мне неудобным. Быстро рисовать закрашенный квадратик в конспекте не получается, так что времени он не экономит. Сам по себе квадратик неочевиден, и нужно каждый раз вспоминать, что же такое им обозначено. А незакрашенный квадратик вообще теряется в тексте. Сокращение вроде ЧТД или ЧиТД казалось мне более понятным.

Пол Халмош написал прекрасную статью «Как писать математические тексты», в которой есть много полезных советов, в том числе и по оформлению теорем. В ней он пишет: «Лучшее обозначение — отсутствие обозначений». Тем не менее, именно он придумал обозначать конец доказательства пустым квадратиком, причём пишет, что взял этот символ как раз из журналов.

Официальное название символа «пустой квадратик» — «конец доказательства» (end of proof), а закрашенный квадратик часто называют tombstone (надгробье). Кроме того, что один, что другой символ в разных источниках называют халмошем. Думаю, это должен быть символ «конец доказательства», потому что именно его придумал Халмош.

А вот ещё короткое обсуждение на тему «как нам называть символ конца статьи» (варианты: end-of-article, endslug).

Что я хочу сказать в итоге. В журналах этот символ уместен и нужен, а вот в формулах злоупотреблять им не стоит.