4 ms·
>Because of Löb's theorem which is magic. I mean, I could try to explain it, but it would be a distracting detour and you'd need to be at least a little good at
by alexb_ 4y ago
>Because of Löb's theorem which is magic. I mean, I could try to explain it, but it would be a distracting detour and you'd need to be at least a little good at math to understand what the heck I was talking about.
I should have listened. Now after many online explanations and going deeper into the rabbit hole I'm not ever sure what a number is anymore.
- l33t2328 4y agoThis animated guide does shockingly well at explaining Löb's theorem.
- OscarCunningham 4y agoThe fact that you forgot the link doesn't matter, because as soon as you know that if you had the guide you'd understand Löb's theorem, you understand Löb's theorem.
- tempodox 4y agoAccording to Löb's theorem this is not provable if I don't understand Löb's theorem. I think my head just asploded.
- l33t2328 4y agoOops. Here: https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoon-guide-to-loeb-s-theorem https://www.lesswrong.com/posts/ALCnqX6Xx8bpFMZq3/the-cartoo...