Comment on AI cooperation in practice

Sun, 01 Aug 2010 10:39:17 GMT

I like to think that you can't actually exhibit a proof string that shows the inconsistency of PA.

Proof in what theory, "can't" by what definition of truth? In the extension of PA with inconsistency-of-PA axiom, it's both provable and true that PA is inconsistent.

Discuss