History of the Development of Logical Induction — AI Alignment Forum