Löb's theorem - History — LessWrong