Geschichte

Lösbarkeit in reellen Zahlen: ist entscheidbar

• Polynom in einer Variablen: Descartes 1637, Fourier 1831, Sturm 1835, Sylvester 1853
• Polynom in mehreren Variablen:
  • Tarski $\approx$ mathend000# 1930
  • Collins 1975 (cylindrical algebraic decomposition)

Lösbarbeit in ganzen Zahlen: ist nicht entscheidbar

• Fragestellung: Hilbert 1900
• Beweis: Davis, Robinson, Matiyasevich 1970