Abstract:
Featuring: the ghost of ~sub-inconsistency~
This kind of logic always makes my head spin a bit, but these results are surprisingly important for understanding some of the concerns driving (post-)modern mathematics. Thinking about them in terms of programs definitely makes the results feel a bit more natural!
This is not so much an academic paper as it is a blog post written in LaTeX. If you already know about Gödel, it's a pretty good read; if not, but you know a bit about programming, you'd probably be best served by skimming through section 1, reading sections 2-6, then looking back through 1 if you're still curious about anything there.