Expliquez le concept du problème de l'arrêt (Halting Problem) formulé par Alan Turing. Démontrez par l'absurde pourquoi il est impossible de créer un algorithme universel capable de déterminer si n'importe quel autre algorithme s'arrêtera ou continuera à tourner indéfiniment. Discutez des conséquences de cette limite théorique sur l'informatique moderne et la cognition artificielle.