El resultado de que el problema de Halting es indecidible significa que no podemos esperar desarrollar un algoritmo para decidir si algún programa dado finalmente se detiene o no. Esto no significa que no podamos desarrollar un algoritmo para decidir si un programa de un conjunto específico de programas se detiene o no.
Pero lo que es más importante, el resultado de que no podemos desarrollar un algoritmo tan general significa que no podemos resolver este problema incluso en nuestras propias cabezas, ya que un algoritmo es un procedimiento para resolver problemas y nuestra mente depende tanto de ellos como las computadoras y los formalismos. nosotros desarrollamos.
En resumen, el problema de Halting, así como la naturaleza indecidible de cualquier problema, no tiene nada que ver con que podamos modelar la inteligencia de tipo humano. Esta posibilidad seguirá siendo un debate abierto hasta que la neurociencia entienda exactamente qué constituye una inteligencia de tipo humano.
- ¿Cuáles son algunos ejemplos de crueldad humana?
- Si todos los pilotos del mundo murieran, ¿volverían a volar los humanos alguna vez?
- ¿Cuál es la probabilidad de que los extraterrestres que evolucionaron en entornos similares a los humanos se vean similares a nosotros?
- ¿Nosotros los indios valoramos vidas diferentes de manera diferente? ¿Son algunas vidas más preciosas que otras?
- ¿Cuál es la creación más sorprendente de la humanidad?