Il teorema di non calcolabilita della codifica