Formulez une preuve de l'indécidabilité du problème de l'arrêt en imaginant une machine de Turing universelle capable d'analyser son propre code source. Expliquez pourquoi créer un méta-algorithme 'H' qui prédit l'arrêt de tout programme 'P' mène inévitablement à une contradiction logique, le tout sous forme de dialogue socratique.