3 ms·

A Gödel numbering is simply a mapping to integers (that is easily decoded). If your programs are arbitrary binary strings, then you're basically already done, s

• Dylan16807 3y ago
  > A Gödel numbering is simply a mapping to integers (that is easily decoded). "easily" is arguable. Sure, I could multiply/factor an enormous number and count how many copies of each prime it has, but I'd much rather concatenate/split some digits.
  • thaumasiotes 3y ago
    Factoring numbers is difficult. Manipulating digits is easy, or it looks that way, but this is partially an illusion resulting from the number being given to you with the digits already known. If you have a quantity in mind but you're not sure what its digits are, it can be a lot of work to learn.
    • Dylan16807 3y ago
      I don't know what you mean by "not sure what its digits are". If you mean what base to represent the number in, that's no more arbitrary than knowing the exact way Gödel numbers use primes.
      • pmontra 3y ago
        Maybe it's an unfair example but: the number of people on Earth. We know the quantity more or less, the leftmost digit in base ten, then it's a lot of work to figure out the other digits.
        • Dylan16807 3y ago
          Definitely unfair, because we're discussing this as a way to encode and decode a string of numbers into a single number, no measurements involved. And factoring the number of people on earth would be just as hard.
  • contravariant 3y ago
    You don't need to factor, if you know the nth prime you can easily find what value is at the nth position. If you're clever about the way you write your syntax tree you can limit the primes to below 13 or so. Don't think there are many useful language constructs that consist of more than 5 or so terms (I think you can limit it to 3 if you encode lists as (list a (list b (list c nil))).
• kqr 3y ago
  But doesn't Gödel numbering imply some sort of uniqueness, i.e. that each algorithm is only present once? Otherwise, wouldn't any language assigning a valid meaning to any sequence of 0 and 1 be a Gödel numbering, even if only by saying that "an unrecognised sequence is a noop"?
  • tromp 3y ago
    Yes, in order to be decodable it must be an injective mapping.
  • DougBTX 3y ago
    No, an algorithm may be written in many ways, each of which would encode to a different Gödel number. > To encode an entire formula, which is a sequence of symbols, Gödel used the following system. Given a sequence (x_1, x_2, x_3, ..., x_n) of positive integers, the Gödel encoding of the sequence is the product of the first n primes raised to their corresponding values in the sequence https://en.wikipedia.org/wiki/Gödel_numbering https://en.wikipedia.org/wiki/Gödel_numbering