Preguntas etiquetadas con halting-problem

Que yo sepa, el problema de detención pregunta si existe un programa que decida si un programa que se está probando, dados algunos datos de entrada (no importa qué programa sea, o qué datos de entrada proporcionamos) terminará o no. La respuesta a este problema es 'no'. En otras palabras, …

8 computability  halting-problem 

Según la tesis de Church-Turing, es imposible diseñar un algoritmo para decidir el problema de detención. ¿La palabra algoritmo en este contexto incluye inteligencia artificial o no, es decir, la tesis de Church-Turing también se aplica a la inteligencia artificial? ¿Es posible diseñar un sistema de inteligencia en el futuro …

8 computability  artificial-intelligence  halting-problem  church-turing-thesis 

Cuando escuché por primera vez de estas cosas, quedé muy fascinado ya que pensé que realmente establece un límite para las matemáticas y la ciencia en general. Pero, ¿qué tan relevantes son estas cosas? Para el problema de detención: ¿Hay más de algunos casos construidos artificialmente, donde uno no puede …

8 computability  logic  halting-problem  applied-theory