Gödel and Formalism Independence
Juliette Cara Kennedy · Cambridge University Press eBooks · 2020
Gödel’s suggestion in his 1946 Princeton Bicentennial Lecture, to extend what he characterises as the formalism independence of the concept of computability to definability and provability, are discussed and implenented. The implementation for the concept of definability takes the form of extended constructibility. Possible implementations having to do with provability are also discussed, mainly in connection with informal proof systems involving Gödel’s so-called large cardinal program.