Nombre de Gödel
From Wikipedia, the free encyclopedia
En teoria dels nombres un nombre de Gödel és una funció que assigna a cada símbol i fórmula d'un llenguatge formal un nombre únic, anomenat Nombre de Gödel (GN). El concepte va ser usat per primer cop per Kurt Gödel per a la demostració del teorema d'incomplitud de Gödel.
L'enumeració d'un conjunt de funcions computables s'anomena també enumeració de Gödel o enumeració efectiva. Una enumeració de Gödel es pot interpretar com un llenguatge de programació on els nombres de Gödel estan assignats a cada funció computable igual que els programes que calculen els valors per la funció en aquest llenguatge de programació.