I don’t get Lob’s theorem, WTF?
Especially its application to proving spurious counterfactuals.
I’ve never sat down with a pen and paper for 5 minutes by the clock to study it yet, but it just bounces off me whenever I see it in LW posts.
Anyone want to ELI5?
Löb’s Theorem is a relatively minor technical result in study of formal systems of mathematics that is vastly overblown in importance on this forum.
I don’t get Lob’s theorem, WTF?
Especially its application to proving spurious counterfactuals.
I’ve never sat down with a pen and paper for 5 minutes by the clock to study it yet, but it just bounces off me whenever I see it in LW posts.
Anyone want to ELI5?
Löb’s Theorem is a relatively minor technical result in study of formal systems of mathematics that is vastly overblown in importance on this forum.