On Oct 28, 2014, at 4:37 PM, Sy David Friedman
So, if you fix the proof, you have proved the HOD Conjecture.
I’ll try not to let that scare me
?? This seems like an odd comment. The HOD Conjecture is a prediction of the Ultimate L Conjecture. But there is no reason it could not have a proof which has nothing to do with the Ultimate L Conjecture.
But I’m also not surprised that there was a bug in my proof!
Why? Do you believe the HOD Conjecture? If so why?