2
$\begingroup$

I have a question about Gödel numbering, it is trivial but I would like to know how can you know the length of an expression through its Gödel number. ¿?

I think you can use a recursive function but I'm not sure which.....

  • 0
    Note that there is no unique [Gödel numbering](http://en.wikipedia.org/wiki/G%C3%B6del_numbering). You would need to provide more information about the particular numbering you are concerned with, though I am pretty sure that all Gödel numberings you see in the wild have the property that $n \mapsto \mathrm{length}(n)$ is (primitive) recursive.2012-11-29

1 Answers 1