Questions marquées «undecidability»

Questions sur des problèmes qui ne peuvent être résolus par aucune machine Turing.

28
Y a-t-il des problèmes spécifiques connus pour être indécidables pour des raisons autres que la diagonalisation, l'auto-référence ou la réductibilité?

Chaque problème indécidable que je connais tombe dans l'une des catégories suivantes: Problèmes indécidables en raison de la diagonalisation (auto-référence indirecte). Ces problèmes, comme le problème d'arrêt, sont indécidables car vous pourriez utiliser un prétendu décideur pour le langage pour...

20
Ratio de problèmes décidables

Considérez les problèmes de décision énoncés dans un langage formel «raisonnable». Disons des formules en arithmétique Peano d'ordre supérieur avec une variable libre comme cadre de référence, mais je suis également intéressé par d'autres modèles de calcul: équations diophantiennes, problèmes de...