19/05/09: Das Problem der logischen Allwissenheit
Schön auf den Punkt gebracht von C.J. Pollard:
[Hyperintensional Questions]
In short, it seems to be a consequence of MS [Montague Semantics] that a celebrity hotel
heiress devoted to parties and shopping knows whether the Riemann Hypothesis
is true. This is just one of the unsavory consequences of MS.
[Hyperintensional Questions]