Saying it with numerals. (English) Zbl 0809.03002

The problem of the relation between reference and mode of presentation in the case of numerals is solved in a highly interesting analysis of Gödel’s Second Incompleteness Theorem. The core of the main result is characterized on p. 104: “…the reference fixing description cannot be just any definite description. And what is at the heart of the involvement of the standard numerals is their intimate connection with induction”.
Reviewer: P.Materna (Praha)


03A05 Philosophical and critical aspects of logic and foundations
03F30 First-order arithmetic and fragments
03F40 Gödel numberings and issues of incompleteness
Full Text: DOI