Definition:Halmos Symbol/Also known as

From ProofWiki
Jump to navigation Jump to search

Halmos Symbol: Also known as

The Halmos symbol is apparently, according to Halmos himself, also known as the tombstone symbol.

Some sources report it as the Halmos tombstone.


According to an apocryphal story, this is because he apparently claimed to consider proofs to be "alive" until they "killed" by being proven, thus marking their end with a tombstone.


Sources