\begin{frame}{Turing Machines are Recursively Enumerable} \begin{goal}{Theorem} Turing machines are recursively enumerable. \end{goal} \pause \begin{proof} \begin{itemize} \item A Turing machine can be represented as a word. \item A parser can check whether a word represents a TM.\\ (If so, accept.) \end{itemize} \end{proof} \pause Thus, there is a recursive enumeration of all Turing machines: \begin{talign} M_1, M_2, \ldots \end{talign} \pause Formally, we enumerate words describing Turing machines. But the does not matter since we have a universal Turing machine that can execute these descriptions. \end{frame}