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

في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز 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 (باللغة الإنجليزية)، 01 أغسطس 2019، مؤرشف من الأصل في 07 مارس 2021، اطلع عليه بتاريخ 04 نوفمبر 2019.
Foster, A. J.، "Tombstones in Typography | AJ Foster"، aj-foster.com (باللغة الإنجليزية)، مؤرشف من الأصل في 03 أكتوبر 2020، اطلع عليه بتاريخ 05 نوفمبر 2019.
"LaTeX/Theorems - Wikibooks, open books for an open world"، en.wikibooks.org، مؤرشف من الأصل في 12 فبراير 2021، اطلع عليه بتاريخ 05 نوفمبر 2019.
Halmos, Paul R. (Paul Richard), 1916-2006. (1950)، Measure theory، New York: Van Nostrand، ص. 6، ISBN 0387900888، OCLC 529634، مؤرشف من الأصل في 21 يناير 2022.{{استشهاد بكتاب}}: صيانة CS1: أسماء متعددة: قائمة المؤلفون (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، اطلع عليه بتاريخ 26 يونيو 2010

بوابة كتابة

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] "The Definitive Glossary of Higher Mathematical Jargon — Q.E.D."، Math Vault (باللغة الإنجليزية)، 01 أغسطس 2019، مؤرشف من الأصل في 07 مارس 2021، اطلع عليه بتاريخ 04 نوفمبر 2019.

[2] Foster, A. J.، "Tombstones in Typography | AJ Foster"، aj-foster.com (باللغة الإنجليزية)، مؤرشف من الأصل في 03 أكتوبر 2020، اطلع عليه بتاريخ 05 نوفمبر 2019.

[3] "LaTeX/Theorems - Wikibooks, open books for an open world"، en.wikibooks.org، مؤرشف من الأصل في 12 فبراير 2021، اطلع عليه بتاريخ 05 نوفمبر 2019.

[4] Halmos, Paul R. (Paul Richard), 1916-2006. (1950)، Measure theory، New York: Van Nostrand، ص. 6، ISBN 0387900888، OCLC 529634، مؤرشف من الأصل في 21 يناير 2022.{{استشهاد بكتاب}}: صيانة CS1: أسماء متعددة: قائمة المؤلفون (link)

[5] Paul R. Halmos, I Want to Be a Mathematician: An Automathography, 1985, p. 403. نسخة محفوظة 2020-11-16 على موقع واي باك مشين.