Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.

At a recent MIRIx workshop, I gave an introductory talk about the surprising number of times that MIRI applied Löb's Theorem in their research papers. It was well-received, so I wrote up and expanded my notes into a primer for new researchers:

An Introduction to Löb's Theorem in MIRI Research (pdf)

Any comments appreciated!

New to LessWrong?

New Comment