묘비(일반)

Tombstone (typography)
다양한 형태의 방호 끝 기호

수학에서 비석, 할모, 방호 끝 또는 Q.E.D 기호 "∎" (또는 "□")는 라틴어 "quod er 시약서"의 전통적인 약어 "Q.E.D" 대신 증명의 끝을 나타내는 데 사용되는 기호다.잡지에서 그것은 기사의 끝을 나타낼 때 사용되는 다양한 상징들 중 하나이다.[1]null

유니코드에서는 문자 U+220E END OF PROFT(HTML)로 표현된다.∎그림의 형태는 속이 비어 있거나 채워진 직사각형 또는 정사각형일 수 있기 때문에 다양하다.null

AMS-LaTeX에서 기호는 증명 환경 끝에 자동으로 추가된다.\begin{proof}...\end{proof}그것은 또한 명령에서 얻을 수 있다.\qedsymbol,\qedhere또는\qed(후자는 기호가 올바르게 정렬되도록 한다.)[2]

1950년 수학적인 맥락에서 처음 사용했던 수학자 폴 할모스의 이름을 따서 '할모스(Halmos finality) 기호' 또는 '할모스(Halmos)'라고 부르기도 한다.[3]는 그것이 잡지에 기사의 끝을 표시하기 위해 사용되고 있는 것을 보고 그것을 사용하는 생각을 했다.수학자가 되고 싶다(I Want to Be a Mathical)라는 회고록에서 그는 다음과 같이 썼다.[4]

그 상징은 확실히 내 발명품이 아니다. 내가 그것을 채택하기 전에 인기 잡지에 나왔지만, 다시 한번, 나는 그것을 수학에 도입한 것 같다.때로는 ▯처럼 보이는 상징이며, 주로 증거의 끝을 가리키는 데 사용된다.가장 흔히 '텀브스톤'이라고 불리지만 적어도 한 명의 관대한 작가는 이를 '할모스'라고 불렀다.

참고 항목

메모들

  1. ^ Foster, A. J. "Tombstones in Typography AJ Foster". aj-foster.com. Retrieved 2019-11-05.
  2. ^ "LaTeX/Theorems - Wikibooks, open books for an open world". en.wikibooks.org. Retrieved 2019-11-05.
  3. ^ Halmos, Paul R. (Paul Richard), 1916-2006. (1950). Measure theory. New York: Van Nostrand. pp. 6. ISBN 0387900888. OCLC 529634.{{cite book}}: CS1 maint : 복수이름 : 작성자 목록(링크)
  4. ^ 폴 R. 할모스, 는 수학자가 되고 싶다. 오토매틱, 1985년, 페이지 403.

참조