Afaik, no one has identified the problem clearly before. (Maybe I just missed it?) That part seems brilliant.
i.e. he’s given an axiomatization, not an implementation (although of course that has to, and does, exist also)
-
-
Eh, no. Are you a programmer?
-
Uh… yes… (MIT CS PhD, 10 years industrial experience.) Sorry I’m not following; I do want to understand what you are saying!
- 13 more replies
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.