Definition:Hilbert 23/17

From ProofWiki
Jump to navigation Jump to search

Hilbert $23$: Problem $17$

Previous  ... Next

Definite Rational Function as Quotient of Sums of Squares

Expression of a definite rational function as quotient of sums of squares.

Definite Rational Function as Quotient of Sums of Squares

Historical Note

The Hilbert 23 were delivered by David Hilbert in a famous address at Paris in $1900$.

He considered them to be the oustanding challenges to mathematicians in the future.


There was originally going to be a $24$th problem, on a criterion for simplicity and general methods in proof theory, but Hilbert decided not to include it, as it was (like numbers $4$, $6$, $16$ and $23$) too vague to ever be described as "solved".


Sources

(translated by Mary Winston Newson from "Mathematische Probleme")