3 ms·
Seems like you can formulate it using a proof assistant. See http://www.academia.edu/4271278/A_Mechanised_Proof_of_Gödel_s_Incompleteness_Theorems_using_Nominal
by zitterbewegung 10y ago
Seems like you can formulate it using a proof assistant. See http://www.academia.edu/4271278/A_Mechanised_Proof_of_Gödel_s_Incompleteness_Theorems_using_Nominal_Isabelle http://www.academia.edu/4271278/A_Mechanised_Proof_of_Gödel_...