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

gRR 27 Mar 2012 21:42 UTC
0 points
After some more thought, I think you confused me between steps 1 and 2 :)

Provable(T and ~T) implies Anything, not just Provable(Anything). Or not? EDIT: not. sorry.