Riemann Console dot org

An open research record on the Riemann Hypothesis.

NAV READY · TYPE SHORTCUT · ENTER EXECUTES

Proof

Category
STANDARD MATHEMATICS
Definition
A rigorous argument showing that a conclusion necessarily follows from stated assumptions.
Math Level
GENERAL

A proof is an argument establishing that a mathematical conclusion necessarily follows from stated assumptions.

Unlike a finite collection of successful tests, a proof settles the cases covered by its logic all at once. Riemann Console repeatedly separates proof from numerical evidence: both are valuable, but they answer different questions.

See also: theorem, assumption, universal statement, numerical evidence..

Related glossary terms

  1. [..]AssumptionGLOSSARY · STANDARD MATHEMATICS
  2. [..]Numerical evidenceGLOSSARY · STANDARD MATHEMATICS
  3. [..]TheoremGLOSSARY · STANDARD MATHEMATICS
  4. [..]Universal statementGLOSSARY · STANDARD MATHEMATICS

Read this term in context

  1. [..]What is a computer-assisted proof?ARTICLE · ART-RC-0113
  2. [..]Beyond Human-First MathematicsARTICLE · ART-RC-0106
  3. [..]AssumptionARTICLE · ART-RC-0043
  4. [..]ConjectureARTICLE · ART-RC-0031
  5. [..]ConvergenceARTICLE · ART-RC-0080
  6. [..]Exact identityARTICLE · ART-RC-0083
  7. [..]Independent reproductionARTICLE · ART-RC-0082
  8. [..]Interval arithmeticARTICLE · ART-RC-0075
  9. [..]Numerical evidenceARTICLE · ART-RC-0072
  10. [..]Riemann HypothesisARTICLE · ART-RC-0006
  11. [..]TheoremARTICLE · ART-RC-0033
  12. [..]Universal statementARTICLE · ART-RC-0035
  13. [..]If the Riemann Hypothesis has worked so far, why do we still need a proof?ARTICLE · ART-RC-0004
  14. [..]What is the Riemann Hypothesis?ARTICLE · ART-RC-0001
  15. [..]MethodsPAGE · PUB-RC-0002