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 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.