\begin{slide}{Geschichte}

Lösbarkeit in reellen Zahlen: ist entscheidbar
\begin{itemize}
\item Polynom in einer Variablen: Descartes 1637, Fourier 1831, Sturm 1835,
  Sylvester 1853
\item Polynom in mehreren Variablen: 
  \begin{itemize}
  \item Tarski $\approx$ 1930
  \item Collins 1975 (cylindrical algebraic decomposition)
  \end{itemize}
\end{itemize}

Lösbarbeit in ganzen Zahlen: ist nicht entscheidbar
\begin{itemize}
\item Fragestellung: Hilbert 1900
\item Beweis: Davis, Robinson, Matiyasevich 1970
\end{itemize}


\end{slide}
