Codificación de Gödel

Dada una lista de números naturales xs, codificación de Gödel de xs se obtiene multiplicando las potencias de los primos sucesivos, siendo los exponentes los sucesores de los elementos de xs. Por ejemplo, si xs = [6,0,4], la codificación de xs es

Definir las funciones

tales que

  • (codificaG xs) es la codificación de Gödel de xs. Por ejemplo,

  • (decodificaG n) es la lista xs cuya codificación es n. Por ejemplo,

Comprobar con QuickCheck que ambas funciones son inversas; es decir,

Soluciones

El código se encuentra en GitHub.