Questions marquées «halting-problem»

Questions concernant le problème d'arrêt qui consiste à décider si un programme donné s'arrête sur une entrée donnée.

5
Existe-t-il une relation concrète entre le théorème d'inachèvement de Gödel, le problème stoppant et les machines de Turing universelles?
J'ai toujours pensé vaguement que la réponse à la question ci-dessus était affirmative dans les termes suivants. Le théorème d'inachèvement de Gödel et le caractère indécidable du problème qui pose problème, qui sont tous deux des résultats négatifs sur la décidabilité et établis par des arguments diagonaux (et dans les …
10
Puissance informatique humaine: Les humains peuvent-ils décider du problème qui s’arrête sur Turing Machines?
Nous savons que le problème d’arrêt (sur les machines de Turing) est indécidable pour les machines de Turing. Y a-t-il des recherches sur la capacité de l'esprit humain à gérer ce problème, éventuellement avec l' aide de Turing Machines ou d'ordinateurs à usage général? Note : Évidemment, dans le sens …
7
Existe-t-il une preuve plus intuitive de l'indécidabilité du problème d'arrêt que la diagonalisation?
Je comprends la preuve de l'indécidabilité du problème d'arrêt (donnée par exemple dans le manuel de Papadimitriou), basée sur la diagonalisation. Bien que la preuve soit convaincante (j'en comprends chaque étape), elle n'est pas intuitive pour moi en ce sens que je ne vois pas comment quelqu'un la dériverait, à …
2
Pourquoi le type void de C n'est-il pas analogue au type vide / bas?
Wikipédia ainsi que d'autres sources que j'ai trouvées listent le voidtype C comme type d'unité par opposition à un type vide. Je trouve cela déroutant car il me semble que cela voidcorrespond mieux à la définition d'un type vide / bas. Autant voidque je sache , aucune valeur n'habite . …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 
5
Le problème de l'arrêt pourrait-il être «résolu» en s'échappant vers une description de niveau supérieur du calcul?
J'ai récemment entendu une analogie intéressante qui déclare que la preuve de Turing de l'indécidabilité du problème d'arrêt est très similaire au paradoxe du barbier de Russell. Je me suis donc demandé: les mathématiciens ont finalement réussi à rendre la théorie des ensembles cohérente en passant de la formulation naïve …
4
Un environnement d'exécution peut-il détecter une boucle infinie?
Serait-il possible pour un environnement d'exécution de détecter des boucles infinies et d'arrêter par la suite le processus associé, ou la mise en œuvre d'une telle logique équivaudrait-elle à résoudre le problème d'arrêt? Aux fins de cette question, je définis une «boucle infinie» pour désigner une série d'instructions et les …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.