Re:New papers dividing logical uncertainty into two subproblems
by rwallace on Tuesday April 26, 2016 @04:55PM
(#11575531)
Epsilon. We don't have a formal proof, but most people who have looked at the proposition consider it to be almost certainly false.
[ Parent
| on HN ]
Re:New papers dividing logical uncertainty into two subproblems
by tmptmp on Tuesday April 26, 2016 @09:50PM
(#11577281)
>>Epsilon.
Was it not the case that people would have assigned very low probability to Fermat's last theorem too, at least before Wile's first version of proof? But then with Wile's first version, they would have assigned very large probability (1-epsilon, may be).
I am confused as to what benefits do we derive from assigning such probabilities? I am certainly missing something big here.
Re:New papers dividing logical uncertainty into two subproblems
by rwallace on Wednesday April 27, 2016 @01:31AM
(#11578018)
> Was it not the case that people would have assigned very low probability to Fermat's last theorem too
Why do you think so? As I understand it, most mathematicians thought Fermat probably correct.