Fungrim entry: c03de4

Symbol: RiemannHypothesis —

\operatorname{RH}

— Riemann hypothesis

Represents the truth value of the Riemann hypothesis, defined in 49704a.

Semantically,

\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
`RiemannHypothesis`	$\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.

2021-03-15 19:12:00.328586 UTC