godelització

f
Matemàtiques

Tècnica introduïda per Kurt Gödel l’any 1931 que consisteix a reduir a nombres naturals les paraules i frases d’un cert llenguatge.

Si hom disposa d’un cert llenguatge L = {a1 ,..., an} i a cada símbol ai li associa un cert nombre senar g (ai) [per exemple, g (ai) = 2 i + 1] i, a cada paraula

, on cada
és una de les lletres ajL, el nombre
, on pr és el r -èsim nombre primer. Ara hom pot estendre aquesta tècnica a frases, on cada OOO és una de les lletres.