x
A brief email conversation with Lawrence Paulson PhD, FRS, ACM Fellow, about the proof of Gödel's 1st incompleteness theorem and Isabelle — AI Alignment Forum