شاهد قبر(رمز)
في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز 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 (بen-US). 1 Aug 2019. Archived from the original on 2021-03-07. Retrieved 2019-11-04.
{{استشهاد ويب}}: صيانة الاستشهاد: لغة غير مدعومة (link) - ^ Foster, A. J. "Tombstones in Typography | AJ Foster". aj-foster.com (بEnglish). 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) - ^ 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
 | هذه بذرة مقالة عن طباعة الحروف بحاجة للتوسيع. فضلًا شارك في تحريرها. |