شاهد قبر(رمز)
في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز QED "∎" (أو "□") للدلالة على نهاية الإثبات، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«quod eratonstrandum» وتعني «وهو المطلوب إثباته».[1] في المجلات يستخدم للإشارة لنهاية المقالة.[2]
في يونيكود يتم تمثيله كحرف U+200E
ويمكن تمثيلها في لغة ترميز النص الفائق (HTML) بالرموز: ∎
شكلها الرسومي يمكن أن يختلف، حيث أحيانا تظهر كمستطيل مفرغ أو كمستطيل مصمت أو كمربع.
في AMS-LaTeX ، يُلحق الرمز تلقائيًا في نهاية بيئة الإثبات \begin{proof}
... \end{proof}
. يمكن أيضًا الحصول عليه من الأوامر \qedsymbol
أو \qedhere
أو \qed
(يتسبب الأخير في محاذاة الرمز إلى اليمين).[3]
يطلق عليه أحيانًا «رمز نهائية هالموس» أو «هالموس» نسبة إلى عالم الرياضيات بول هالموس، الذي استخدمه لأول مرة في سياق رياضي عام 1950.[4] جاءته فكرة استخدامه من خلال رؤية استخدامه كإشارة لنهاية المقالات في المجلات. كتب في مذكراته أريد أن أصبح عالم رياضيات:[5]
مراجع
عدل- ^ "The Definitive Glossary of Higher Mathematical Jargon — Q.E.D." Math Vault (بالإنجليزية الأمريكية). 1 Aug 2019. Archived from the original on 2021-03-07. Retrieved 2019-11-04.
- ^ Foster, A. J. "Tombstones in Typography | AJ Foster". aj-foster.com (بالإنجليزية). Archived from the original on 2020-10-03. Retrieved 2019-11-05.
- ^ "LaTeX/Theorems - Wikibooks, open books for an open world". en.wikibooks.org. مؤرشف من الأصل في 2021-02-12. اطلع عليه بتاريخ 2019-11-05.
- ^ Halmos, Paul R. (Paul Richard), 1916-2006. (1950). Measure theory. New York: Van Nostrand. ص. 6. ISBN:0387900888. OCLC:529634. مؤرشف من الأصل في 2022-01-21.
{{استشهاد بكتاب}}
: صيانة الاستشهاد: أسماء عددية: قائمة المؤلفين (link) صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link) - ^ Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403. نسخة محفوظة 2020-11-16 على موقع واي باك مشين.
مصادر
عدل- Miller، Jeff (29 سبتمبر 2007)، Earliest Uses of Symbols of Set Theory and Logic، مؤرشف من الأصل في 2022-11-22، اطلع عليه بتاريخ 2010-06-26