Auto formalisation of Chaitin and of the surprise incompleteness Theorem
AI use, as the source states it
“Using the framework built in this experiment, Claude could ``automformalise'' Chaitin's proof of the first incompleteness theorem and then the Kritchman-Raz surprise examination paradox version of the second incompleteness.”
Model: Claude, as stated
Named here, or see a mistake? Write to privacy@papex.org.