Questions marquées «computability»

Je cherche une preuve que la complexité de Kolmogorov n'est pas calculable en utilisant une réduction d'un autre problème non calculable. La preuve commune est une formalisation du paradoxe de Berry plutôt qu'une réduction, mais il devrait y avoir une preuve en réduisant quelque chose comme le...

Les fonctions récursives primitives sont définies sur les nombres naturels. Cependant, il semble que le concept devrait se généraliser à d'autres types de données, permettant de parler de fonctions récursives primitives qui mappent des listes à des arbres binaires, par exemple. Par analogie, les...