2
Pourquoi les fonctions totales ne sont-elles pas énumérables?
Nous avons appris le concept d'énumération des fonctions. En pratique, ils correspondent à des langages de programmation. Dans une remarque passagère, le professeur a mentionné que la classe de toutes les fonctions totales (c'est-à-dire les fonctions qui se terminent toujours pour chaque entrée) n'est pas énumérable. Cela signifierait que nous …