jsteinhardt comments on Probabilistic Löb theorem - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (39)
I'm not at MIRI but I was at part of the workshop and my answer would be no (although I do think the result is worthwhile).
Although I would also place Cox's theorem and graphical models on pretty different standing; the latter seems much more important to me than the former.
Yes, Cox's result gives a different supporting argument for the use of probability, but didn't introduce new ways of doing probabilistic reasoning, whereas graphical models have had major applications in efficient probabilistic reasoning in practice.