Tombstone (tipografia)

Vàries formes del símbol de fin de demostració.

En matemàtiques, el símbol tombstone, halmos, fi de demostració, o Q.E.D., «■» o «□», és un símbol usat per a denotar el fi d'una demostració matemàtica, en lloc del tradicional abreujament «Q.E.D.» de la frase en llatí quod erat demonstrandum. Està inspirada per la pràctica tipogràfica d'usar símbols per als tancaments d'artículs.

En l'estàndart Unicode, es representa com el caràcter Plantilla:Unichar. La seua forma gràfica varia entre un quadrat o rectàngul buit o ple.

En AMS-LaTeX, el símbol s'agrega automàticament al final de l'entorn «proof» de demostracions: �egin{proof} ... end{proof}. També es pot obtindre per mig dels comandos qedsymbol, qedhere o qed (l'últim alinea el símbol a la dreta de la pàgina).

També se li coneix com a «símbol de terme de Halmos» o «halmos», pel matemàtic Paul Halmos, qui ho va usar en primer lloc en un context matemàtic en 1950. Halmos es va inspirar per al seu us en els símbols tipogràfics de revistes que indicaven el final d'un artícul. En els seus memòries I Want to Be a Mathematician, va escriure lo següent:

The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, onze again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.

que en castellà seria:

El símbol definitivament no és de la meua invenció: apareixia en revistes populars (no matemàtiques) abans que ho adoptara, pero, una volta més, sembla que yo ho he introduït en les matemàtiques. És el símbol que a voltes sembla ▯, i és usat per a indicar un final, usualment el final d'una demostració. És més freqüentment cridat «tombstone», pero a lo manco un autor generós es va referir a ell com «halmos».

Vore també

• EOF