Answer by Olivier Roche for Theorem proved only when assumed provable, Löbs...
In other words: in $\{ZF ; \neg RH\}\vdash \ "ZF \textrm{ is consistent with} \neg RH"$"But this means that the theory $\{ZF ; \neg RH\}$ proves its own consistencyThat's not what it means! Rather, it...
View ArticleTheorem proved only when assumed provable, Löbs theorem
I am currently reading Scott Aaronson's "Quantum Computing since Democritus", where I stumbled over a reasoning to (positively) answer the following question:Is there any theorem which can only be...
View Article
More Pages to Explore .....