Viewing profile — siwei

Commutativity of addition is not at all an obvious fact and I applaud your erstwhile employers for holding you to a higher standard of rigor.

No, the question here is not "are there statements in _this axiom system_ that cannot be proved by this axiom system" (what incompleteness theorem says), but "are there statements …

I had the exact same idea, right down to using ratings to improve the random match, so this is pretty awesome in that I get to see how this will play out for free. The main idea he…

site is down