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.....
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.....