What confuses me most about this stuff is that it's such a struggle. Wasn't proof-computation equivalence implicit in the Hilbert program?
-
-
... So what is the great philosophical implication that is supposed to follow from CHL correspondence (that was previously unseen)?
-
This Tweet is unavailable.
New conversation -
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.