The Henkin Sentence
Files
Publication date
2014
Authors
Visser, Albert
Halbach, Volker
Editors
Manzano, María
Sain, Ildikó
Alonso, Enrique
Advisors
Supervisors
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
In this paper we discuss Henkin's question concerning a formula that has been described as expressing its own provability. We analyze Henkin's formulation of the question and the early responses by Kreisel and Löb and sketch how this discussion led to the development of Provability Logic. We argue that, in addition to that, the question has philosophical aspects that are still interesting.
Keywords
self-reference, fixed points, second incompleteness theorem, provability logic, General Mathematics, General Arts and Humanities
Citation
Visser, A & Halbach, V 2014, The Henkin Sentence. in M Manzano, I Sain & E Alonso (eds), The Life and Work of Leon Henkin : Essays on his Contributions. Studies in Universal Logic, Birkhaüser, pp. 249-263. https://doi.org/10.1007/978-3-319-09719-0_17