5
$\begingroup$

In My Collaboration with JULIA ROBINSON it is said

Hilbert foresaw the possibility of negative solutions to some mathematical problems

What evidence is there that Hilbert knew (around the time when he set the problems) or suspected that some decision problems (like resolution of Diophantine equations) can be impossible?

  • 3
    In 1902 an [authorized translation](http://www.ams.org/journals/bull/1902-08-10/home.html) of Hilbert's address was published in the Bulletin of the New York Mathematical Society (freely accessible, as far as I can tell). The passage on p.444f (Occasionally...) is especially relevant to your question. The famous "[...] in mathematics there is no *ignorabimus*." is on p. 445.2011-05-14

1 Answers 1

8

See Hilbert's famous 1900 lecture:

http://aleph0.clarku.edu/~djoyce/hilbert/problems.html

Occasionally it happens that we seek the solution under insufficient hypotheses or in an incorrect sense, and for this reason do not succeed. The problem then arises: to show the impossibility of the solution under the given hypotheses, or in the sense contemplated. Such proofs of impossibility were effected by the ancients, for instance when they showed that the ratio of the hypotenuse to the side of an isosceles right triangle is irrational. In later mathematics, the question as to the impossibility of certain solutions plays a preeminent part, and we perceive in this way that old and difficult problems, such as the proof of the axiom of parallels, the squaring of the circle, or the solution of equations of the fifth degree by radicals have finally found fully satisfactory and rigorous solutions, although in another sense than that originally intended. It is probably this important fact along with other philosophical reasons that gives rise to the conviction (which every mathematician shares, but which no one has as yet supported by a proof) that every definite mathematical problem must necessarily be susceptible of an exact settlement, either in the form of an actual answer to the question asked, or by the proof of the impossibility of its solution and therewith the necessary failure of all attempts.

I don't think it gets more explicit than that.

That being said, I think he believed that his own problems (the Tenth problem, the Entscheidungsproblem...) can be solved - at least, I have never seen evidence to the contrary (not that I know much about these things...)

  • 0
    Note also that even this statement is overly optimistic, since we now know that there are problems that are neither provable nor provably unprovable.2015-02-26