For 10 points, name this German mathematician who laid out a list of 23 difficult-to-solve problems at the beginning of the 20th century.
A tensor product of two objects named for this man is isometrically isomorphic to a space of operators named for him and Schmidt. Wrightman's axioms suggest that a construct named for this man exists that is acted upon by the Poincaré group in a unitary manner. A result named for this man states that a polynomial ring over a Noetherian ring is itself Noetherian. A finite- or- infinite dimensional space in which an inner product is defined is named for this man. A problem in this man's program was shown to be impossible by Godel's incompleteness theorem, and he included the continuum hypothesis and the Riemann hypothesis in another outline of work for the next century. For 10 points, name this German mathematician who laid out a list of 23 difficult-to-solve problems at the beginning of the 20th century.
A tensor product of two objects named for this man is isometrically isomorphic to a space of operators named for him and Schmidt.
David Hilbert