@raichoo really? That surprises me.
@milessabin @raichoo My first instinct was that it probably relies on a bug ;)
-
-
@edwinbrady@raichoo I didn't like to put it that way, but my first thought was: if you can prove that you can probably prove everything. -
@milessabin@edwinbrady@raichoo Standard Martin-Löf theorem of constructive choice? - 3 more replies
New conversation -
-
This Tweet is unavailable.
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.