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

من ويكيبيديا، الموسوعة الحرة
أشكال مختلفة من رمز نهاية الإثبات

في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز 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.{{استشهاد بكتاب}}: صيانة الاستشهاد: أسماء عددية: قائمة المؤلفين (link) صيانة الاستشهاد: أسماء متعددة: قائمة المؤلفين (link)
  5. ^ Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403. نسخة محفوظة 2020-11-16 على موقع واي باك مشين.

مصادر[عدل]