2
Perché le funzioni totali non sono enumerabili?
Abbiamo imparato il concetto di enumerazioni di funzioni. In pratica, corrispondono ai linguaggi di programmazione. In un'osservazione passeggera, il professore ha affermato che la classe di tutte le funzioni totali (ovvero le funzioni che terminano sempre per ogni input) non è enumerabile. Ciò significherebbe che non possiamo escogitare un linguaggio …