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

post by orthonormal · 2015-01-22T20:35:50.000Z · LW · GW · 0 comments

Contents

No comments

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!

0 comments

Comments sorted by top scores.