Pada matematika, simbol "∎" (atau "□") disebut batu nisan ( bahasa Inggris : tombstone ), halmos , akhir pembuktian , atau Q.E.D. adalah simbol yang digunakan untuk menandai akhir dari pembuktian , di tempat yang biasanya dituliskan Q.E.D ., singkatan dari " quod erat demonstrandum ". Simbol ini terinspirasi dari praktik tipografi untuk tanda akhir, sebuat elemen yang menandai akhir dari suatu artikel. [ 1 ]
Di Unicode , simbol ini direpresentasikan dengan karakter U+220E ∎ akhir pembuktian . Bentuk dari simbol ini berbeda-beda; dapat berupa persegi atau persegi panjang yang kosong atau terisi.
Pada
, simbol ini secara otomatis ditambahkan di akhir lingkungan "pembuktian"
\begin{proof}
...
\end{proof}
. Selain itu, simbol ini juga dapat dituliskan dengan perintah
\qedsymbol
,
\qedhere
, atau
\qed
, dengan perintah terakhir menuliskan simbol tersebut dengan format rata kanan.
[
2
]
Simbol ini sering disebut sebagai "simbol pengakhir Halmos" atau "halmos" dari matematikawan Paul Halmos , yang pertama kali menggunakannya pada konteks matematika di 1950. [ 3 ] Ia mendapatkan ide untuk menggunakan simbol ini setelah melihat tanda akhir pada majalah , yaitu simbol tipografi yang mengindikasikan akhir dari artikel. Dalam memoarnya yang berjudul I Want to Be a Mathematician , ia menuliskan: [ 4 ]
Simbol ini bukanlah buatan saya — simbol ini muncul pada majalah populer (bukan matematika) sebelum saya mengadopsinya, tetapi, sekali lagi, saya sepertinya memperkenalkannya pada matematika. Ini adalah simbol yang kadang terlihat seperti ▯, dan digunakan untuk mengindikasikan sebuah akhir, biasanya akhir dari pembuktian. Simbol ini biasanya disebut sebagai 'batu nisa', tetapi setidaknya satu penulis yang baik merujuknya sebagai 'halmos'.
Referensi
Kutipan
- ^ Felici, James (2003). The complete manual of typography : a guide to setting perfect type . Berkeley, CA: Peachepit Press. Pemeliharaan CS1: Status URL ( link )
- ^ "LaTeX/Theorems - Wikibooks, open books for an open world" . English Wikibooks (dalam bahasa Inggris) . Diakses tanggal 5 November 2019 .
- ^ Halmos, Paul R. (1950). Measure theory . New York: Van Nostrand. hlm. 22 . ISBN 0387900888 . OCLC 529634 .
- ^ Halmos, P. R. (2013-12-01). I Want to be a Mathematician: An Automathography (dalam bahasa Inggris). Springer Science & Business Media. ISBN 978-1-4612-1084-9 .
Daftar pustaka
- Miller, Jeff (29 September 2007), Earliest Uses of Symbols of Set Theory and Logic , diakses tanggal 26 Juni 2010