Definitions | halmos |
| noun
- (rfv-inflection, halmoses)
- (mathematics) The symbol "(unicode, �)" (Unicode U+220E, "END OF PROOF") marking the end of a proof.
Etymology: Named for (Hungarian-born) American mathematician w:Paul Halmos, Paul Halmos (born 1916) who first used it in mathematics, after seeing it marking the end of articles in magazines.
Supplemental Details:Sponsor an extended definition for halmos for as little as $10 per month. Click here to contact us.
| |
|