\begin{frame}
  \frametitle{Computable Functions}
  
  \begin{block}{}
  Computable functions $\approx$ everything a computer with infinite memory can compute.
  \end{block}
  \bigskip
  \pause
  
  The class of computable functions can be defined using different models:
  \begin{itemize}
    \item Turing machines
    \item Lambda calculus
    \item Post machines
    \item Register machines
    \item \alert<2>{$\mu$-recursive functions}
  \end{itemize}
\end{frame}