A proves that A is inconsistent, then proves that A cooperates with every program that A proves is Reasonable and that B is reasonable.
B accepts A’s proof that A is inconsistent, and the rest follow trivially.
I’m not sure I understand. A is a TM—which aspect is it proving inconsistent?
A proves that the logic A uses to prove that B is Reasonable is inconsistent. It is sufficient to say “If I can prove that B is Reasonable, B is Reasonable”.
A proves that A is inconsistent, then proves that A cooperates with every program that A proves is Reasonable and that B is reasonable.
B accepts A’s proof that A is inconsistent, and the rest follow trivially.
I’m not sure I understand. A is a TM—which aspect is it proving inconsistent?
A proves that the logic A uses to prove that B is Reasonable is inconsistent. It is sufficient to say “If I can prove that B is Reasonable, B is Reasonable”.