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 about _the positive integers_ that…
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…
site is down
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 about _the positive integers_ that…
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…
site is down