gRR comments on An example of self-fulfilling spurious proofs in UDT

gRR 27 Mar 2012 13:32 UTC
0 points
[EDIT: this is wrong] You’re saying, I don’t get “Provable(Provable(S) ⇒ S)”, but only “Provable(Provable(Provable(S) ⇒ S))”?

But then,
Provable(Provable(Provable(S) ⇒ S)) =>
Provable(Provable(Provable(S)) ⇒ Provable(S)) ⇒ /Loeb’s theorem/
Provable(Provable(S)) =>
[EDIT: this is also wrong] Provable(S)
- cousin_it 27 Mar 2012 13:46 UTC
  3 points
  Parent
  I still don’t get it… Why does Provable(Provable(S)) lead to Provable(S)?
  - gRR 27 Mar 2012 14:10 UTC
    2 points
    Parent
    Sorry, my error. Two errors, even. I’ll think more.