Article contents
GÖDEL’S THEOREM AND DIRECT SELF-REFERENCE
Published online by Cambridge University Press: 02 December 2021
Abstract
In his paper on the incompleteness theorems, Gödel seemed to say that a direct way of constructing a formula that says of itself that it is unprovable might involve a faulty circularity. In this note, it is proved that ‘direct’ self-reference can actually be used to prove his result.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press on behalf of The Association for Symbolic Logic
References
BIBLIOGRAPHY
- 3
- Cited by