halmos

Английский Язык - Английский Язык

Определение halmos в Английский Язык Английский Язык словарь

The symbol “∎” marking the end of a proof

The symbol " (Unicode U+220E, "END OF PROOF") marking the end of a proof

Турецкое произношение

hôlmōs

Синонимы

tombstone

Произношение

/ˈhôlmōs/ /ˈhɔːlmoʊs/

Этимология

() Named for (Hungarian-born) American mathematician Paul Halmos (born 1916) who first used it in mathematics, after seeing it marking the end of articles in magazines.