halmos

Englisch - Englisch

Definition von halmos im Englisch Englisch wörterbuch

The symbol “∎” marking the end of a proof

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

Türkische aussprache

hôlmōs

Synonyme

tombstone

Aussprache

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

Etymologie

() 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.