2011/09/05 by Paul Daniel Carr, Carr, Paul Daniel
Mathematics · #FOS: Mathematics #Logic (math.LO) #math.LO
paper · pdf · doi:10.48550/arxiv.1109.0949
arxiv created 2012/01/27 · arxiv updated 2012/01/30
Terms in arithmetic of the form s in the formula s=t(< s >), with t a term with one free variable and < s > a numeral denoting the Gödel number of s, are examined by writing the explicit definition of the encoding functions whose representation they include. This is first done with a specific encoding function and system of encoding and then examined more generally. The surprising result of each such construction, involving conventionally defined substitution or diagonalization functions and using conventional systems of encoding, is shown to be a non-terminating symbolic expression.