Comment on AI cooperation in practice

Sat, 31 Jul 2010 16:53:21 GMT

I suppose there are complete inconsistent theories of arithmetic. However, here the discussion concerns whether a machine returns 1 - or not. Systems of math that are useless, or have infinitely many axioms and so can't be implemented don't really enter into the picture.

Discuss