A Proof of Löb's Theorem using Computability Theory — AI Alignment Forum