$(5$ points$)$: Explain the intuition behind the undecidable proof for $E{Q}_{TM}=\{\begin{array}{cc}(\text{:}{M}_1,& M_2\text{:})|M_1\end{array}$ and $M_2$ are TMs

and $L(M_1)=L(M_2)\}.$ i$.$e$.,$ why does it work? In the book on page $220.$

the problem is undeci bable because there is no algenith thent can

deterimire every pair of Turing mahines whetler they

accertqx the seume langare.