siwei

8 ms·

1. 1.▲
   by siwei 13y ago

   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.
2. 2.▲
   by siwei 14y ago

   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 about _the positive integers_ that cannot be proved by this
3. 3.▲
   by siwei 14y ago

   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 here is that it's a behaviorial approach to optimizing mate-ma
4. 4.▲
   by siwei 15y ago

   site is down