I’m still confused, sadly.
Can you follow Eliezer’s cartoon proof of Löb’s Theorem, linked from the post? It’s kind of a prerequisite to understand what’s happening here.
I believe follow Eliezer’s proof—should I look over your proof again?
Well, my proof is basically a rewrite of Eliezer’s proof in another notation and with tracking of proof lengths. The exact same steps in the exact same sequence. Even the name of the “box” statement is taken from there. So you can try, yeah.
I’m still confused, sadly.
Can you follow Eliezer’s cartoon proof of Löb’s Theorem, linked from the post? It’s kind of a prerequisite to understand what’s happening here.
I believe follow Eliezer’s proof—should I look over your proof again?
Well, my proof is basically a rewrite of Eliezer’s proof in another notation and with tracking of proof lengths. The exact same steps in the exact same sequence. Even the name of the “box” statement is taken from there. So you can try, yeah.