Gödel (in the case of the second problem), or Gödel and Cohen (in the case of the first problem) give definitive negative solutions or not, since these solutions apply to a certain formalization of the problems, which is not necessarily the only possible one.

Table of problems

Hilbert's 23 problems, and the unpublished 24th problem, are listed below. For details on the solutions and references, see the articles that are linked to in the first column.} Paul Cohen demonstrated that the hypothesis is impossible to prove or disprove

1.Previous
3.Next