Hilbert's Entscheidungsproblem.
El reto de Hilbert.