Preguntas etiquetadas con halting-problem

No entiendo por qué el problema de detención se usa con tanta frecuencia para descartar la posibilidad de determinar si un programa se detiene. La Wikipedia [artículo] [1] explica correctamente que una máquina determinista con memoria finita detendrá o repetirá un estado anterior. Puede usar el algoritmo que detecta si …

149 computability  halting-problem 

Siempre he pensado vagamente que la respuesta a la pregunta anterior fue afirmativa en las siguientes líneas. El teorema de incompletitud de Gödel y la indecidibilidad del problema de detención son resultados negativos sobre la capacidad de decisión y se establecen mediante argumentos diagonales (y en la década de 1930), …

76 computability  logic  halting-problem  incompleteness 

Sabemos que el problema de detención (en máquinas de Turing) es indecidible para las máquinas de Turing. ¿Hay alguna investigación sobre qué tan bien la mente humana puede manejar este problema, posiblemente ayudado por las máquinas de Turing o las computadoras de uso general? Nota : Obviamente, en el sentido …

60 computability  turing-machines  halting-problem  human-computing 

Alan Turing propuso un modelo para una máquina (Turing Machine, TM) que computa (números, funciones, etc.) y demostró el Teorema de detención . Un TM es un concepto abstracto de una máquina (o motor si lo desea). El teorema de detención es un resultado imposible. Un Carnot Engine (CE) es …

31 turing-machines  halting-problem  entropy 

Entiendo la prueba de la indecidibilidad del problema de detención (dada, por ejemplo, en el libro de texto de Papadimitriou), basada en la diagonalización. Si bien la prueba es convincente (entiendo cada paso), no es intuitiva para mí en el sentido de que no veo cómo alguien la derivaría, comenzando …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

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 

El problema de detención indica que no existe un algoritmo que determine si un programa determinado se detiene. Como consecuencia, debe haber programas sobre los que no podemos saber si terminan o no. ¿Cuáles son los ejemplos más simples (más pequeños) conocidos de tales programas?

27 computability  turing-machines  halting-problem 

Es bastante simple entender por qué el problema de detención es indecidible para los programas impuros (es decir, aquellos que tienen E / S y / o estados dependientes del estado global de la máquina); pero intuitivamente, parece que la interrupción de un programa puro en una computadora ideal sería …

25 halting-problem  static-analysis 

Estaba viendo las " Cinco etapas de aceptar las matemáticas constructivas " de Andrej Bauer y dice que hay dos tipos de prueba por contradicción (o dos cosas que los matemáticos llaman prueba por contradicción): Suponga que es falso ... bla, bla, bla, contradicción. Por lo tanto, es cierto.PPAGSPAGSPPAGSPAGSP Suponga …

23 halting-problem  coq 

Como agujeros negros en informática. Solo podemos saber que existen, pero cuando tengamos uno de ellos, nunca sabremos que es uno de ellos.

23 halting-problem  correctness-proof 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . "Alan Turing demostró en 1936 que no puede existir un algoritmo general para resolver el problema de detención para todos los posibles pares de entrada …

23 computability  formal-methods  halting-problem  software-verification 

Una máquina de Turing que vuelve a un estado encontrado anteriormente con su cabeza de lectura / escritura en la misma celda de la misma cinta será atrapada en un bucle. Tal máquina no se detiene. ¿Alguien puede dar un ejemplo de una máquina que nunca se detiene y que …

22 computability  turing-machines  halting-problem 

Recientemente escuché una analogía interesante que afirma que la prueba de Turing de la indecidibilidad del problema de detención es muy similar a la paradoja de barbero de Russell. Así que me pregunté: los matemáticos finalmente lograron hacer que la teoría de conjuntos sea coherente al pasar de la formulación …

21 computability  turing-machines  computation-models  halting-problem 

Según tengo entendido, la prueba de que detener el problema no es computable, este problema no es computable porque si tenemos un programa P (x) que calcula si el programa x se detiene o no, tenemos una paradoja al dar P como entrada al mismo P, que tiene: P (P), …

19 halting-problem 

¿Sería posible que un entorno de tiempo de ejecución detecte bucles infinitos y posteriormente detenga el proceso asociado, o la implementación de dicha lógica sería equivalente a resolver el problema de detención? A los efectos de esta pregunta, defino un "bucle infinito" para que signifique una serie de instrucciones y …

19 halting-problem