Professional Documents
Culture Documents
Relatia Autor - Personaj
Relatia Autor - Personaj
1 !Resolved. Proven to be
impossible to prove or disprove
within the Zermelo–Fraenkel
set theory with or without the
The continuum hypothesis (that is, Axiom of Choice (provided the
Zermelo–Fraenkel set theory with
there is no set whose cardinality is
1st strictly between that of the or without the Axiom of Choice is 1963
consistent, i.e., contains no two
integers and that of the theorems such that one is a
real numbers)
negation of the other). There is
general consensus that this solves
the problem, although there have
been proposals which would give a
definitive truth value (see Ω-logic).
2 !There is no consensus on whether results of Gödel and
Gentzen give a solution to the problem as stated by Hilbert.
Gödel's second incompleteness theorem, proved in 1931,
2nd Prove that the axioms of shows that no proof of its consistency can be carried out 1936?
arithmetic are consistent. within arithmetic itself. Gentzen proved in 1936 that the
consistency of arithmetic follows from the well-foundedness
of the ordinal ε₀.
13th Solve 7-th degree equation using continuous functions of 2 !The problem was partially solved by Vladimir Arnold 1957
two parameters. based on work by Andrei Kolmogorov. [n 4]
14th Is the ring of invariants of an algebraic group acting on a 1 !Resolved. Result: no, counterexample was 1959
polynomial ring always finitely generated? constructed by Masayoshi Nagata.
15th Rigorous foundation of Schubert's enumerative calculus. 2 !Partially resolved.[citation needed] –
Express a nonnegative rational function as quotient of sums of 1 !Resolved. Result: yes, due to Emil Artin. Moreover, an
17th upper limit was established for the number of square 1927
squares.
terms necessary.[citation needed]
Are the solutions of regular problems in the calculus of variations 1 !Resolved. Result: yes, proven by Ennio de Giorgi and,
19th independently and using different methods, by 1957
always necessarily analytic?
John Forbes Nash.
Do all variational problems with certain boundary conditions 1 !Resolved. A significant topic of research throughout the
20th 20th century, culminating in solutions[citation needed] for the ?
have solutions?
non-linear case.
Proof of the existence of linear differential equations having a 1 !Resolved. Result: Yes or no, depending on more exact ?
21st
prescribed monodromic group formulations of the problem.[citation needed]