I’ve put up on Prediction Book a relevant prediction. The main reason I’ve given only a 75% percent chance that it may take a lot of time to study the matter in detail.
Interesting. Has your prior for “a contradiction will be found in the next hundred years” moved since Nelson’s announcement?
My 5/40/5/10 numbers are (were) my estimation of the chance that a contradiction will be found in my lifetime. I’m far less certain that Nelson will have it sewed up in a few months, as he’s claiming, but it’s still quite likely he’s made a big breakthrough.
Oh. I see. I thought your numbers were for Nelson’s proof working. Hmm, given that, they seem more reasonable but still too high. I’d need to think more carefully about how likely I’d estimate things.
Interesting. Has your prior for “a contradiction will be found in the next hundred years” moved since Nelson’s announcement?
My 5/40/5/10 numbers are (were) my estimation of the chance that a contradiction will be found in my lifetime. I’m far less certain that Nelson will have it sewed up in a few months, as he’s claiming, but it’s still quite likely he’s made a big breakthrough.
Oh. I see. I thought your numbers were for Nelson’s proof working. Hmm, given that, they seem more reasonable but still too high. I’d need to think more carefully about how likely I’d estimate things.