شاهد قبر(رمز)

أشكال مختلفة من رمز نهاية الإثبات

في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز QED "∎" (أو "□") للدلالة على نهاية الإثبات، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«quod eratonstrandum» وتعني «وهو المطلوب إثباته».[1] في المجلات يستخدم للإشارة لنهاية المقالة.[2]

في يونيكود يتم تمثيله كحرف U+200E ويمكن تمثيلها في لغة ترميز النص الفائق (HTML) بالرموز: ∎

شكلها الرسومي يمكن أن يختلف، حيث أحيانا تظهر كمستطيل مفرغ أو كمستطيل مصمت أو كمربع.

في AMS-LaTeX ، يُلحق الرمز تلقائيًا في نهاية بيئة الإثبات \begin{proof} ... \end{proof} . يمكن أيضًا الحصول عليه من الأوامر \qedsymbol أو \qedhere أو \qed (يتسبب الأخير في محاذاة الرمز إلى اليمين).[3]

يطلق عليه أحيانًا «رمز نهائية هالموس» أو «هالموس» نسبة إلى عالم الرياضيات بول هالموس، الذي استخدمه لأول مرة في سياق رياضي عام 1950.[4] جاءته فكرة استخدامه من خلال رؤية استخدامه كإشارة لنهاية المقالات في المجلات. كتب في مذكراته أريد أن أصبح عالم رياضيات:[5]

«الرمز قطعا لم يكن اختراعي — ظهر في المجلات المشهورة (غير الرياضية منها) قبل أن أستعمله، لكن، مرة أخرى، يبدو أني أول من استخدمه في الرياضيات. انه الرمز الذي يبدو أحيانا هكذا ▯ ويستخدم للإشارة للنهاية، عادة نهاية البرهان. ويطلق عليه عادة 'شاهد القبر'، لكن مؤلف كريم أشار اليه على الأقل مرة واحدة على أنه 'هالموس'.»

مراجع

1. "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.
2. Foster, A. J. "Tombstones in Typography | AJ Foster". aj-foster.com (بالإنجليزية). Archived from the original on 2020-10-03. Retrieved 2019-11-05.
3. "LaTeX/Theorems - Wikibooks, open books for an open world". en.wikibooks.org. مؤرشف من الأصل في 2021-02-12. اطلع عليه بتاريخ 2019-11-05.
4. Halmos, Paul R. (Paul Richard), 1916-2006. (1950). Measure theory. New York: Van Nostrand. ص. 6. ISBN:0387900888. OCLC:529634. مؤرشف من الأصل في 2022-01-21.
5. 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