Using the halting problem here shows the consequences of the incompleteness theorem pretty well, but I don't think it explains it. This is basically hiding the

Using the halting problem here shows the consequences of the incompleteness theorem pretty well, but I don't think it explains it. This is basically hiding the self-references behind the halting problem black box. I really like this video for explaining it, I find it very funny and approachable: https://www.youtube.com/watch?v=WylL1m4K6Bk https://www.youtube.com/watch?v=WylL1m4K6Bk