Expliquez en détail le problème de l'arrêt (Halting Problem) démontré par Alan Turing en 1936. Pourquoi est-il impossible de créer un algorithme universel qui détermine, pour n'importe quel programme et n'importe quelle entrée, si le programme finira par s'arrêter ou s'il continuera à tourner indéfiniment ? Discutez des implications de ce théorème pour les limites théoriques de l'intelligence artificielle et de la vérification formelle des logiciels.