I wouldn’t normally link to a post from my math blog here, but it concerns a cute interpretation of Cantor’s theorem that showed up when I was thinking about program equilibria at the April MIRI workshop, so I thought it might be of interest here (e.g. if you’re trying to persuade a mathematically inclined friend of yours to attend a future workshop). A short proof of the undecidability of the halting problem falls out as a bonus.
[LINK] Cantor’s theorem, the prisoner’s dilemma, and the halting problem
I wouldn’t normally link to a post from my math blog here, but it concerns a cute interpretation of Cantor’s theorem that showed up when I was thinking about program equilibria at the April MIRI workshop, so I thought it might be of interest here (e.g. if you’re trying to persuade a mathematically inclined friend of yours to attend a future workshop). A short proof of the undecidability of the halting problem falls out as a bonus.