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)...
Un ensemble est dénombrable s'il a une bijection avec les nombres naturels et est numériquement calculable (ce) s'il existe un algorithme qui énumère ses membres. Tout ensemble non finissable pouvant être énuméré doit être dénombrable puisque nous pouvons construire une bijection à partir de...
Beaucoup de problèmes indécidables «célèbres» sont néanmoins au moins semi-décidables, leur complément étant indécidable. Un exemple par-dessus tout peut être le problème de l'arrêt et son complément. Cependant, quelqu'un peut-il me donner un exemple dans lequel un problème et son complément sont...