Náhrobek (typografie) - Tombstone (typography)

Různé formy symbolu konce důkazu

V matematice je náhrobek, halmos, konec důkazunebo Q.E.D. symbol „∎“ (nebo „□“) je symbol používaný k označení konce a důkaz, místo tradiční zkratky „Q.E.D.“ pro latinskou frázi "quod erat demonstrandum ", což znamená" který měl být předveden ".[1] V časopisech je to jeden z různých symbolů používaných k označení konce článku.[2]

v Unicode, je reprezentován jako znak U + 220E ∎ KONEC DŮKAZU (HTML∎). Jeho grafická podoba se liší, protože může jít o dutý nebo vyplněný obdélník nebo čtverec.

v AMS-LaTeX, symbol se automaticky připojí na konci zkušebního prostředí begin {proof} ... end {proof}. Lze jej také získat z příkazů qedsymbol, qtam nebo qed (druhý způsobí, že symbol bude zarovnán doprava).[3]

Někdy se tomu říká matematik „Halmosův symbol konečnosti“ nebo „halmos“ Paul Halmos, který jej poprvé použil v matematickém kontextu v roce 1950.[4] Nápad jej použít dostal od vidění, že se používá k označení konce článků v časopisy. Ve své monografii Chci být matematikem, napsal následující:[5]

Symbol rozhodně není můj vynález - objevil se v populárních časopisech (ne v matematických), než jsem ho přijal, ale zdá se mi, že jsem ho znovu zavedl do matematiky. Je to symbol, který někdy vypadá jako ▯ a používá se k označení konce, obvykle konce důkazu. Nejčastěji se tomu říká „náhrobek“, ale alespoň jeden velkorysý autor jej označil jako „halmos“.

Viz také

Poznámky

  1. ^ „Definitivní glosář vyššího matematického žargonu - Q.E.D.“ Matematický trezor. 2019-08-01. Citováno 2019-11-04.
  2. ^ Foster, A. J. "Náhrobní kameny v typografii | AJ Foster". aj-foster.com. Citováno 2019-11-05.
  3. ^ „LaTeX / Theorems - Wikibooks, open books for an open world“. en.wikibooks.org. Citováno 2019-11-05.
  4. ^ Halmos, Paul R. (Paul Richard), 1916-2006. (1950). Teorie měření. New York: Van Nostrand. str.6. ISBN  0387900888. OCLC  529634.CS1 maint: více jmen: seznam autorů (odkaz)
  5. ^ Paul R. Halmos, Chci být matematikem: Automatografie, 1985, s. 403.

Reference