2 papers
math.LO2020
Self-reference Upfront: A Study of Self-referential Gödel Numberings
Balthasar Grabmayr, Albert Visser
In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-refer…
math.LO2018
On the Invariance of Gödel's Second Theorem with regard to Numberings
Balthasar Grabmayr
The prevalent interpretation of Gödel's Second Theorem states that a sufficiently adequate and consistent theory does not prove its consistency. It is however not entirely clear ho…