Fungrim home page

Fungrim entry: c03de4

Symbol: RiemannHypothesis RH\operatorname{RH} Riemann hypothesis
Represents the truth value of the Riemann hypothesis, defined in 49704a.
Semantically, RH{True,False}\operatorname{RH} \in \left\{\operatorname{True}, \operatorname{False}\right\}.
This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the Riemann hypothesis.
Definitions:
Fungrim symbol Notation Short description
RiemannHypothesisRH\operatorname{RH} Riemann hypothesis
Source code for this entry:
Entry(ID("c03de4"),
    SymbolDefinition(RiemannHypothesis, RiemannHypothesis, "Riemann hypothesis"),
    Description("Represents the truth value of the Riemann hypothesis, defined in ", EntryReference("49704a"), "."),
    Description("Semantically, ", Element(RiemannHypothesis, Set(True_, False_)), "."),
    Description("This symbol can be used in an assumption to express that a formula is valid conditionally on the truth of the Riemann hypothesis."))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-10-05 13:11:19.856591 UTC