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 @paul_snively
Good point, what if we replace RH with LEM, i.e. if Bob is a constructivist and Alice is not?
1 reply 0 retweets 1 like
Replying to @_julesh_ @paul_snively
The decision of whether or not to accept LEM could be argued to be a matter of what language you prefer to speak rather than what is true, since classical logic can speak of constructions, and constructive logic can speak of classical truth via double-negation translation.
8:51 PM - 22 Jun 2018
0 replies
0 retweets
1 like
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.