x
This website requires javascript to properly function. Consider activating javascript to get access to all site functionality.
AI ALIGNMENT FORUM
AF
Login
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