Get to know Halmos better with 8 real example sentences, the meaning.
Halmos in a sentence
Halmos meaning
The symbol “∎” marking the end of a proof.
Using Halmos
- The main meaning on this page is: The symbol “∎” marking the end of a proof.
- In the example corpus, halmos often appears in combinations such as: paul halmos.
Context around Halmos
- Average sentence length in these examples: 23.9 words
- Position in the sentence: 3 start, 5 middle, 0 end
- Sentence types: 8 statements, 0 questions, 0 exclamations
Corpus analysis for Halmos
- In this selection, "halmos" usually appears in the middle of the sentence. The average example has 23.9 words, and this corpus slice is mostly made up of statements.
- Around the word, paul, proof, own and 1974 stand out and add context to how "halmos" is used.
- Recognizable usage signals include halmos 1974 p and halmos later stated. That gives this page its own corpus information beyond isolated example sentences.
- By corpus frequency, "halmos" sits close to words such as aargau, abacos and abboud, which helps place it inside the broader word index.
Example types with halmos
The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:
This was later called the tombstone or Halmos symbol by mathematicians. (11 words)
The following proof is taken from Halmos's A Hilbert Space Problem Book (see the references). (16 words)
Upon reading a preprint of the Bernstein-Robinson paper, Paul Halmos reinterpreted their proof using standard techniques. (17 words)
Halmos 1974, p. 28, Ex. 9 Once a basis of V is chosen, linear maps f : V → W are completely determined by specifying the images of the basis vectors, because any element of V is expressed uniquely as a linear combination of them. (43 words)
Two famous papers are: citation. citation. citation Of the 1932 papers on ergodic theory, Paul Halmos writes that even "if von Neumann had never done anything else, they would have been sufficient to guarantee him mathematical immortality". (37 words)
Halmos rather confusingly uses the term "Borel set" for elements of the σ-ring generated by compact sets, and defines Haar measure on these sets. (25 words)
Example sentences (8)
Some of the ideas used in Halmos' proof reappeared many years later in Halmos' own work on quasi-triangular operators.
Halmos 1974, p. 28, Ex. 9 Once a basis of V is chosen, linear maps f : V → W are completely determined by specifying the images of the basis vectors, because any element of V is expressed uniquely as a linear combination of them.
Halmos later stated that it was the fastest book he wrote, taking about six months, and that the book "wrote itself". citation.
Halmos rather confusingly uses the term "Borel set" for elements of the σ-ring generated by compact sets, and defines Haar measure on these sets.
The following proof is taken from Halmos's A Hilbert Space Problem Book (see the references).
This was later called the tombstone or Halmos symbol by mathematicians.
Two famous papers are: citation. citation. citation Of the 1932 papers on ergodic theory, Paul Halmos writes that even "if von Neumann had never done anything else, they would have been sufficient to guarantee him mathematical immortality".
Upon reading a preprint of the Bernstein-Robinson paper, Paul Halmos reinterpreted their proof using standard techniques.
Common combinations with halmos
These word pairs occur most frequently in English texts: