Skip to main content Accessibility help
  • Print publication year: 2020
  • Online publication date: December 2020

4 - Gödel and Formalism Independence


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.

Related content

Powered by UNSILO