Löb’s Theorem is theorem proved by Martin Hugo Löb which states:
If PA proves “If Peano arithmetic proves ‘X’, then X”, then Peano arithmetic proves X
Which has consequences for reflective reasoning.
Löb’s Theorem is theorem proved by Martin Hugo Löb which states:
If PA proves “If Peano arithmetic proves ‘X’, then X”, then Peano arithmetic proves X
Which has consequences for reflective reasoning.
@Multicore I accidentally deleted your contribution by submitting an edit I started writing before you published yours. I’m letting you add it back so it remains attributed to you. Also, if you can do some relevance voting that would be helpful.