As I slept fitfully, still recovering from COVID, I had one of the more interesting dreams of my life:<\/p>\n\n\n\n
I was desperately trying to finish some PowerPoint slides in time to give a talk. Uncharacteristically for me, one of the slides displayed actual code. This was a dream, so nothing was as clear as I’d like, but the code did something<\/em> vaguely reminiscent of Rosser\u2019s Theorem<\/a>\u2014e.g., enumerating all proofs in ZFC until it finds the lexicographically first proof or disproof of a certain statement, then branching into cases depending on whether it’s a proof or a disproof. In any case, it was simple enough to fit on one slide.<\/p>\n\n\n\n Suddenly, though, my whole presentation was deleted. Everything was ruined!<\/p>\n\n\n\n One of the developers of PowerPoint happened to be right there in the lecture hall (of course!), so I confronted him with my laptop and angrily demanded an explanation. He said that I must have triggered the section of Microsoft Office that tries to detect and prevent any discussion of logical paradoxes that are too dangerous for humankind\u2014the ones that would cause people to realize that our entire universe is just an illusion, a sandbox being run inside an AI, a glitch-prone Matrix. He said it patronizingly, as if it should’ve been obvious: “you and I both know that the Paradoxes are not to be talked about, so why would you be so stupid<\/em> as to put one in your presentation?”<\/p>\n\n\n\n My reaction was to jab my finger in the guy\u2019s face, shove him, scream, and curse him out. At that moment, I wasn\u2019t concerned in the slightest about the universe being an illusion, or about glitches in the Matrix. I was concerned about my embarrassment when I\u2019d be called in 10 minutes to give my talk and would have nothing to show.<\/p>\n\n\n\n