[FOM] A question about references
aa at tau.ac.il
Sat Jan 7 02:02:11 EST 2017
In his recent posting about incompleteness Friedman quoted
the following from Scott Aaronson:
"(2) Independence of statements in transfinite set theory, such as CH
and AC. Unlike "ordinaryâ" mathematical statements --- P Ì¸= NP, the Riemann
hypothesis, etc. the set-theoretic ones can't be rephrased in the
language of elementary arithmetic; only questions about their
provability from various axiom systems are arithmetical."
My question: what are the best sources in which the most
updated (and perhaps even not the most updated) rephrasing
of P Ì¸= NP, the Riemann hypothesis, etc in the
language of elementary arithmetic can be found (and the
equivalences are proved)?
More information about the FOM