Informatique théorique halting-problem

3

Existe-t-il une notion judicieuse d'un algorithme d'approximation pour un problème indécidable?

On sait que certains problèmes sont indécidables, mais il est néanmoins possible de progresser dans leur résolution. Par exemple, le problème d'arrêt est indécidable, mais des progrès pratiques peuvent être réalisés dans la création d'outils permettant de détecter les boucles infinies potentielles dans votre code. Les problèmes de carrelage sont …

48 computability approximation-algorithms parameterized-complexity halting-problem

4

Quelle est la plus petite machine de Turing où l'on ne sait pas si elle s'arrête ou non?

Je sais que le problème de l'arrêt est indécidable en général, mais il y a certaines machines Turing qui s'arrêtent évidemment et d'autres qui ne le sont évidemment pas. De toutes les machines de turing possibles, quelle est la plus petite où personne n'a de preuve qu'elle s'arrête ou non?

31 halting-problem

1

Problème d'arrêt, ensembles non calculables: preuve mathématique commune?

On sait qu'avec un ensemble dénombrable d'algorithmes (caractérisés par un nombre de Gödel), nous ne pouvons pas calculer (construire un algorithme binaire qui vérifie l'appartenance) tous les sous-ensembles de N. Une preuve pourrait être résumée comme suit: si nous le pouvions, alors l'ensemble de tous les sous-ensembles de N serait …

29 computability halting-problem

2

Les échecs peuvent-ils simuler une machine de Turing universelle?

Je cherche à obtenir une réponse définitive à la question du titre. Existe-t-il un ensemble de règles qui traduisent un programme en une configuration de pièces finies sur un plateau infini, de sorte que si le noir et blanc ne joue que des mouvements légaux, le jeu se termine en …

16 computability turing-machines board-games halting-problem recreational

2

Collatz de conjectures et grammaires / automates

Je me demandais s'il y avait une bonne bibliographie des tentatives d'enquêter sur la conjecture de Collatz comme grammaire formelle? (ou toute autre tentative dans la communauté CS pour faire face à cette classe de phénomènes génératifs et leurs propriétés "d'arrêt").

16 fl.formal-languages nt.number-theory halting-problem

2

Quel est le problème «le plus proche» de la conjecture de Collatz qui a été résolu avec succès?

Je m'intéresse au problème "le plus proche" (et "le plus complexe") de la conjecture de Collatz qui a été résolue avec succès (ce que Erdos a dit fameusement "les mathématiques ne sont pas encore mûres pour de tels problèmes"). Il a été prouvé qu'une classe de problèmes "de type Collatz" …

14 reference-request open-problem nt.number-theory halting-problem computability

1

À quel point un détecteur d'arrêt peut-il être bon?

Existe-t-il une machine de Turing qui peut décider si presque toutes les autres machines de Turing s'arrêtent? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. Quelles caractérisations de la valeur minimale …

12 turing-machines halting-problem

1

Existe-t-il une bonne notion de non-terminaison et d'arrêt des preuves dans la théorie des types?

La théorie des types constructifs avec son interprétation de base sous la correspondance de curry howard consiste uniquement en fonctions calculables totales. Dans la littérature, certains ont dit que l'utilisation de la "théorie du type informatique" pour représenter la non-terminaison dans les programmes fonctionnels, mais dans les articles que j'ai …

10 lo.logic type-theory oracles halting-problem

1

Quelle est la référence du premier théorème d'incomplétude de Gödel basé sur l'indécidabilité du problème d'arrêt?

Une forme plus faible du premier théorème d'incomplétude de Gödel, dont les preuves directes à la manière de Gödel sont longues, impliquées et à un endroit plutôt contre-intuitives, a une preuve simple et intuitive basée sur l'indécidabilité du problème d'arrêt - voir par exemple https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Qui a proposé …

9 cc.complexity-theory lo.logic halting-problem

2

Machines de Turing dont l'arrêt n'est pas démontrable?

J'ai une question naïve: existe-t-il une machine de Turing dont la terminaison est vraie mais non démontrable par aucune théorie naturelle, cohérente et finement axiomatisable? Je demande une simple preuve d'existence plutôt qu'un exemple spécifique. Cela pourrait avoir un lien avec l'analyse ordinale . En effet, pour une machine de …

9 turing-machines proof-theory halting-problem

1

Existe-t-il un lien caché entre l'existence d'ensembles innombrables et l'indécidabilité du problème d'arrêt?

Étant donné que les deux preuves utilisent l'argument diagonal, je me demande s'il existe un lien obscur entre l'existence d'ensembles infinis innombrables et l'indécidabilité du problème d'arrêt. Le problème d'arrêt serait-il décidable si tous les ensembles étaient dénombrables?

9 halting-problem

Questions marquées «halting-problem»