Discusión:Numeración de Gödel

La frase:

Una enumeración de Gödel se puede interpretar como un lenguaje de programación donde los números de Gödel están asignados a cada función computable igual que los programas que cálculos los valores para la función en este lenguaje de programación.

no esta bien escrita. Alguna sugerencia?

--Glmlg (discusión) 23:30 29 jun 2016 (UTC)

Creo que está mezclada la traducción del inglés con otra idea. Propongo la siguiente modificación ya que no veo necesario referirse a lenguajes de programación:

«Una numeración de Gödel se puede interpretar como una codificación donde a cada símbolo matemático (o función computable) se le asigna un número natural. Así, las expresiones o cadenas de símbolos se representan mediante sucesiones de números, que a su vez se pueden codificar mediante un solo número natural. Ello facilita ciertas manipulaciones en teorías de aritmética formal.» Madhing (discusión) 18:37 7 nov 2022 (UTC)

Veo que viene de la versión catalana, por si alguien que entienda sugiere otra cosa. Madhing (discusión) 18:46 7 nov 2022 (UTC)