Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Loosely speaking, there are three kinds of propositions.

  1. Those propositions which are true and can be proved to be true.

  2. Those propositions which are false and which can be proved to be false.

  3. Those propositions which are true, but it can't be proved that it is true.

Here the word "proof" is used in a strict mathematical sense.

My question simply is that under which category does Riemann Hypothesis belong? Or if a bit specification is more preferred, is RH ZFC-independent?

share|cite|improve this question
if you prove something to be provable, then you proved it. – Ittay Weiss Jun 22 '14 at 7:28
I don't understand how proving that RH is provable is related with the position of the real part of zeros on the critical line. Can you be a bit elaborate? – William Hilbert Jun 22 '14 at 7:51
I am not sure what this question is asking. Do you mean something along the lines: Is it possible that RH is ZFC-independent? – Martin Sleziak Jun 22 '14 at 8:08
@MartinSleziak: My question actually is that: Has RH been proved to be formally decidable proposition? If yes, then I want some reference. – William Hilbert Jun 22 '14 at 12:20
You may find… helpful. – Gerry Myerson Jul 17 '14 at 6:41

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.