Suppose Alice has the opinion that the Riemann hypothesis is true, and Bob has the opinion that it is false. Can we say already that one has a true opinion and one has a false opinion? What if we replace the Riemann hypothesis with the continuum hypothesis? With 1+1=2?
-
-
Replying to @_julesh_
Riemann hypothesis: Apparently RH is known to be equivalent to a Pi^0_1 sentence. Assuming this is provable in ACA_0, we can establish LEM for RH on the assumption of Platonism about integers (which seems reasonable to me), even though RH is a priori a second-order sentence.
1 reply 0 retweets 1 like -
Replying to @ModelOfTheory @_julesh_
Continuum hypothesis: LEM for CH seems to rely on Platonism about sets of sets of integers, which seems highly suspect to me.
1 reply 0 retweets 0 likes
Replying to @ModelOfTheory @_julesh_
1+1=2: The one who says this is true is right.
8:43 PM - 22 Jun 2018
0 replies
0 retweets
0 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.