| dbo:abstract
|
- في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز QED "∎" (أو "□") للدلالة على نهاية الإثبات، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«quod eratonstrandum» وتعني «وهو المطلوب إثباته». في المجلات يستخدم للإشارة لنهاية المقالة. في يونيكود يتم تمثيله كحرف U+200E ويمكن تمثيلها في لغة ترميز النص الفائق (HTML) بالرموز: ∎ شكلها الرسومي يمكن أن يختلف، حيث أحيانا تظهر كمستطيل مفرغ أو كمستطيل مصمت أو كمربع. في AMS-LaTeX ، يُلحق الرمز تلقائيًا في نهاية بيئة الإثبات \begin{proof} ... \end{proof} . يمكن أيضًا الحصول عليه من الأوامر \qedsymbol أو \qedhere أو \qed (يتسبب الأخير في محاذاة الرمز إلى اليمين). يطلق عليه أحيانًا «رمز نهائية هالموس» أو «هالموس» نسبة إلى عالم الرياضيات بول هالموس، الذي استخدمه لأول مرة في سياق رياضي عام 1950. جاءته فكرة استخدامه من خلال رؤية استخدامه كإشارة لنهاية المقالات في المجلات. كتب في مذكراته أريد أن أصبح عالم رياضيات: «الرمز قطعا لم يكن اختراعي — ظهر في المجلات المشهورة (غير الرياضية منها) قبل أن أستعمله، لكن، مرة أخرى، يبدو أني أول من استخدمه في الرياضيات. انه الرمز الذي يبدو أحيانا هكذا ▯ ويستخدم للإشارة للنهاية، عادة نهاية البرهان. ويطلق عليه عادة 'شاهد القبر'، لكن مؤلف كريم أشار اليه على الأقل مرة واحدة على أنه 'هالموس'.» (ar)
- Le signe de fin d’article est une puce ou un ornement placé à proximité de la fin du texte d'un article pour souligner cette fin. Il s'agit le plus souvent d'un carré noir, blanc ou de couleur, mais toute autre forme géométrique peut être utilisée, ainsi qu'un ornement quelconque ou un logo. Il peut être sur la dernière ligne de texte séparé par une espace ou justifié à droite.En mathématique, le carré ou le rectangle, noir ou blanc, – ∎ dans Unicode – que l’on appelle « halmos », sont utilisés pour signifier « ce qu’il fallait démontrer » (CQFD). (fr)
- In mathematics, the tombstone, halmos, end-of-proof, or Q.E.D. symbol "∎" (or "□") is a symbol used to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum". It is inspired by the typographic practice of end marks, an element that marks the end of an article. In Unicode, it is represented as character U+220E ∎ END OF PROOF. Its graphic form varies, as it may be a hollow or filled rectangle or square. In AMS-LaTeX, the symbol is automatically appended at the end of a proof environment \begin{proof} ... \end{proof}. It can also be obtained from the commands \qedsymbol, \qedhere or \qed (the latter causes the symbol to be right aligned). It is sometimes called a "Halmos finality symbol" or "halmos" after the mathematician Paul Halmos, who first used it in a mathematical context in 1950. He got the idea of using it from seeing end marks in magazines, that is, typographic signs that indicate the end of an article. In his memoir I Want to Be a Mathematician, he wrote the following: The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'. (en)
- 墓石記号（はかいしきごう、ぼせききごう、英語: tombstone mark）とは、数学において証明の終わりを示すために用いられる四角形の記号である。証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos’ mark)、ハルモスの箱(Halmos’ box)とも呼ばれる。従来Q.E.D.と書かれていた箇所に、その代わりに表示される。雑誌では、記事の終わりを示すためにこの記号が用いられることがある。 Unicodeでは、U+220E ∎ end of proof (HTML: ∎)に割り当てられている。表示のされ方は環境により異なる。中身が塗りつぶされている（■）または中空（□）、外形が正方形または長方形のいずれであっても良い。学生のノートやレポートでは筆記用具の制約から、しばしば中空の四角形をハッチングで塗ったもの（▨）や斜線を入れたもの（〼）も見受けられる。 AMS-LaTeXでは、証明環境 \begin{proof} ... \end{proof} の最後に自動的にこの記号が追加される。コマンド\qedsymbolや\qedでも表示できる（後者は記号を右揃えにする）。 「ハルモス記号」の名は、この記号を最初に数学において使用した数学者ポール・ハルモスによる。彼は、雑誌の記事の終わりを示すのにこの記号が使われていたのを見て、これを証明終了の記号として使うことを思いついた。彼の回想録『数学者になりたかった』(I Want to Be a Mathematician)には、次のように書かれている。 The symbol is definitely not my invention — it appeared in popular magazines (not mathematical ones) before I adopted it, but, once again, I seem to have introduced it into mathematics. It is the symbol that sometimes looks like ▯, and is used to indicate an end, usually the end of a proof. It is most frequently called the 'tombstone', but at least one generous author referred to it as the 'halmos'.その記号は決して私の発明ではなく、私がそれを採用するより前に、人気のある雑誌（数学的なものではない）に登場していたが、それを数学に導入したのは私だろう。それは ▯ のように見える記号であり、終わりを、通常は証明の終わりを示すために使用される。それは最も頻繁には「墓石」と呼ばれるが、少なくとも1人の寛大な著者がそれを「ハルモス」と呼んでいる。 (ja)
- Il tombstone (che dalla lingua inglese significa "lapide") o halmos è un simbolo tipografico usato in matematica per segnare la fine di una dimostrazione (in alternativa alla sigla "Q.E.D.", abbreviazione del latino quod erat demonstrandum), e nelle riviste come simbolo per segnare la fine di un articolo. In Unicode è rappresentato dal carattere ∎ (U+220E, end of proof, HTML ∎). L'aspetto grafico è variabile, può essere un quadrato o un rettangolo, pieno o vuoto. In LaTeX il simbolo è inserito automaticamente alla fine di un ambiente \begin{proof} ... \end{proof} (definito nel package amsmath), e può essere inserito con il comando \qedsymbol oppure \qed (nel secondo caso con allineamento a destra). Il simbolo è anche chiamato halmos, in quanto introdotto in contesto scientifico dal matematico Paul Halmos, che aveva tratto l'idea osservando che il simbolo era già usato in alcune riviste per indicare il termine di un articolo. Egli scrive nelle sue memorie: (it)
- Znak końca dowodu – znak matematyczny oznaczający koniec dowodu twierdzenia. Zastępuje on skrót ckd. „co kończy dowód”, cnd. „co należało dowieść”, cbdu. „co było do udowodnienia” albo QED (łac. QED quod erat demonstrandum). Najczęściej ma postać kwadratu, prostokąta lub trójkąta. Znak ten jest czasem nazywany halmosem na cześć Paula Halmosa, który jako pierwszy użył go w kontekście matematycznym w celu oznaczenia końca dowodu. Pomysł ten zaczerpnął z popularnych czasopism, gdzie symboli tego rodzaju używano do zaznaczania końca artykułów. (pl)
- Символ конца доказательства (∎, «символ Халмоша», англ. Halmos, tombstone «надгробный камень») — типографский символ, используемый в математике для обозначения конца доказательства вместо сокращения Q.E.D. латинской фразы quod erat demonstrandum — «что требовалось доказать». Также используется в некоторых журналах в качестве символа конца статьи. Символом Халмоша называется в честь математика Пола Ричарда Халмоша, который впервые использовал данный символ в математическом контексте в книге Теория меры (англ. Measure Theory) 1950 года. В Юникоде в качестве заполненного прямоугольника представлен в блоке (англ. Mathematical Operators) под кодом U+220E и названием end of proof. Схожие по начертанию символы присутствуют и в качестве геометрических фигур в : ■, ▮. В системе компьютерной вёрстки ΤΕΧ символ доступен под командой \qedsymbol или \qed, а также автоматически проставляется в конце окружения proof пакета amsthm из AMS-LaTeX. (ru)
- O tombstone, Halmos, fim da prova, ou Q.E.D. marcado "∎" (ou "□") é usado em matemática para denotar o fim de uma prova, no lugar da abreviação tradicional "Q.E.D." para a frase em latim "quod erat demonstrandum", "que estava a ser mostrado". Em revistas, é um dos vários símbolos usados para indicar o final de um artigo. Em Unicode, é representado como caractere U+220E ∎ end of proof (HTML: ∎). Sua forma gráfica varia. Pode ser um retângulo oco ou preenchido ou quadrado. No AMS-LaTeX, o símbolo é automaticamente anexado no final de um ambiente de prova \begin {proof} ... \end {proof}. Ele também pode ser obtido dos comandos \qedsymbol ou \qed (o último faz com que o símbolo seja alinhado à direita). Às vezes é chamado halmos depois do matemático Paul Halmos, que o usou pela primeira vez no contexto matemático. Ele teve a ideia de usá-lo ao ver que estava sendo usado para indicar o fim de artigos em revistas. Em suas memórias I Want to Be a Mathematician, ele escreveu o seguinte: O símbolo definitivamente não é minha invenção - apareceu em revistas populares (não as matemáticas) antes de adotá-lo, mas, mais uma vez, parece que o introduzi na matemática. É o símbolo que às vezes parece ▯, e é usado para indicar um fim, geralmente o fim de uma prova. É mais freqüentemente chamado de 'lápide', mas pelo menos um autor generoso se refere a ele como 'halmos'. (em português) (pt)
- Символ завершення доведення (∎) («символ Халмоша», англ. Halmos, tombstone «надгробний камінь») — друкарський символ, що використовується в математиці для позначення кінця доведення замість скорочення Q.E.D. латинської фрази quod erat demonstrandum — «що потрібно було довести». Також використовується в деяких журналах як символ кінця статті. Символом Халмоша називається на честь математика Пола Річарда Халмоша, який вперше використав цей символ в математичному контексті в книзі Теорія міри (англ. Measure Theory) 1950 року. У Юникоді як заповнений прямокутник представлений в блоці Математичні оператори (англ. Mathematical Operators) під кодом U+220E і назвою END OF PROOF. Схожі за накресленням символи присутні і в якості геометричних фігур у відповідному блоці: ■, ▮. У системі комп'ютерної верстки ΤΕΧ символ доступний під командою \qedsymbol або \qed, а також автоматично проставляється наприкінці оточення proof пакету amsthm з AMS-LaTeX. (uk)
- 墓碑符号∎（tombstone），在数学中用来表示证明完毕，以取代传统上使用的拉丁文缩写Q.E.D.（意为“证明完毕”）。 该符号在Unicode中的代码为U+220E ∎ 。此外还有其他一些变体，可以是空心或实心的矩形或正方形。 它有时又被称为哈尔莫斯符（halmos），以最早将这一符号用于数学的数学家保罗·哈尔莫斯的名字命名。 (zh)
|
| rdfs:comment
|
- Le signe de fin d’article est une puce ou un ornement placé à proximité de la fin du texte d'un article pour souligner cette fin. Il s'agit le plus souvent d'un carré noir, blanc ou de couleur, mais toute autre forme géométrique peut être utilisée, ainsi qu'un ornement quelconque ou un logo. Il peut être sur la dernière ligne de texte séparé par une espace ou justifié à droite.En mathématique, le carré ou le rectangle, noir ou blanc, – ∎ dans Unicode – que l’on appelle « halmos », sont utilisés pour signifier « ce qu’il fallait démontrer » (CQFD). (fr)
- Znak końca dowodu – znak matematyczny oznaczający koniec dowodu twierdzenia. Zastępuje on skrót ckd. „co kończy dowód”, cnd. „co należało dowieść”, cbdu. „co było do udowodnienia” albo QED (łac. QED quod erat demonstrandum). Najczęściej ma postać kwadratu, prostokąta lub trójkąta. Znak ten jest czasem nazywany halmosem na cześć Paula Halmosa, który jako pierwszy użył go w kontekście matematycznym w celu oznaczenia końca dowodu. Pomysł ten zaczerpnął z popularnych czasopism, gdzie symboli tego rodzaju używano do zaznaczania końca artykułów. (pl)
- 墓碑符号∎（tombstone），在数学中用来表示证明完毕，以取代传统上使用的拉丁文缩写Q.E.D.（意为“证明完毕”）。 该符号在Unicode中的代码为U+220E ∎ 。此外还有其他一些变体，可以是空心或实心的矩形或正方形。 它有时又被称为哈尔莫斯符（halmos），以最早将这一符号用于数学的数学家保罗·哈尔莫斯的名字命名。 (zh)
- في الرياضيات، يستخدم علامة القبر أو هالموس أو نهاية الإثبات أو رمز QED "∎" (أو "□") للدلالة على نهاية الإثبات، بدلاً من الاختصار التقليدي "QED" من العبارة اللاتينية ع«quod eratonstrandum» وتعني «وهو المطلوب إثباته». في المجلات يستخدم للإشارة لنهاية المقالة. في يونيكود يتم تمثيله كحرف U+200E ويمكن تمثيلها في لغة ترميز النص الفائق (HTML) بالرموز: ∎ شكلها الرسومي يمكن أن يختلف، حيث أحيانا تظهر كمستطيل مفرغ أو كمستطيل مصمت أو كمربع. (ar)
- In mathematics, the tombstone, halmos, end-of-proof, or Q.E.D. symbol "∎" (or "□") is a symbol used to denote the end of a proof, in place of the traditional abbreviation "Q.E.D." for the Latin phrase "quod erat demonstrandum". It is inspired by the typographic practice of end marks, an element that marks the end of an article. In Unicode, it is represented as character U+220E ∎ END OF PROOF. Its graphic form varies, as it may be a hollow or filled rectangle or square. (en)
- Il tombstone (che dalla lingua inglese significa "lapide") o halmos è un simbolo tipografico usato in matematica per segnare la fine di una dimostrazione (in alternativa alla sigla "Q.E.D.", abbreviazione del latino quod erat demonstrandum), e nelle riviste come simbolo per segnare la fine di un articolo. Il simbolo è anche chiamato halmos, in quanto introdotto in contesto scientifico dal matematico Paul Halmos, che aveva tratto l'idea osservando che il simbolo era già usato in alcune riviste per indicare il termine di un articolo. Egli scrive nelle sue memorie: (it)
- 墓石記号（はかいしきごう、ぼせききごう、英語: tombstone mark）とは、数学において証明の終わりを示すために用いられる四角形の記号である。証明終了記号(end of proof mark)、Q.E.D.記号(Q.E.D. mark)、ハルモス記号(Halmos’ mark)、ハルモスの箱(Halmos’ box)とも呼ばれる。従来Q.E.D.と書かれていた箇所に、その代わりに表示される。雑誌では、記事の終わりを示すためにこの記号が用いられることがある。 Unicodeでは、U+220E ∎ end of proof (HTML: ∎)に割り当てられている。表示のされ方は環境により異なる。中身が塗りつぶされている（■）または中空（□）、外形が正方形または長方形のいずれであっても良い。学生のノートやレポートでは筆記用具の制約から、しばしば中空の四角形をハッチングで塗ったもの（▨）や斜線を入れたもの（〼）も見受けられる。 AMS-LaTeXでは、証明環境 \begin{proof} ... \end{proof} の最後に自動的にこの記号が追加される。コマンド\qedsymbolや\qedでも表示できる（後者は記号を右揃えにする）。 (ja)
- O tombstone, Halmos, fim da prova, ou Q.E.D. marcado "∎" (ou "□") é usado em matemática para denotar o fim de uma prova, no lugar da abreviação tradicional "Q.E.D." para a frase em latim "quod erat demonstrandum", "que estava a ser mostrado". Em revistas, é um dos vários símbolos usados para indicar o final de um artigo. Em Unicode, é representado como caractere U+220E ∎ end of proof (HTML: ∎). Sua forma gráfica varia. Pode ser um retângulo oco ou preenchido ou quadrado. (em português) (pt)
- Символ конца доказательства (∎, «символ Халмоша», англ. Halmos, tombstone «надгробный камень») — типографский символ, используемый в математике для обозначения конца доказательства вместо сокращения Q.E.D. латинской фразы quod erat demonstrandum — «что требовалось доказать». Также используется в некоторых журналах в качестве символа конца статьи. Символом Халмоша называется в честь математика Пола Ричарда Халмоша, который впервые использовал данный символ в математическом контексте в книге Теория меры (англ. Measure Theory) 1950 года. (ru)
- Символ завершення доведення (∎) («символ Халмоша», англ. Halmos, tombstone «надгробний камінь») — друкарський символ, що використовується в математиці для позначення кінця доведення замість скорочення Q.E.D. латинської фрази quod erat demonstrandum — «що потрібно було довести». Також використовується в деяких журналах як символ кінця статті. Символом Халмоша називається на честь математика Пола Річарда Халмоша, який вперше використав цей символ в математичному контексті в книзі Теорія міри (англ. Measure Theory) 1950 року. (uk)
|
