Hilbertin kahdeskymmenesneljäs tehtävä on matemaattinen tehtävä, jota ei julkaistu osana 23 tehtävän luetteloa, joka tunnetaan nimellä Hilbertin ongelmat , mutta joka sisällytettiin David Hilbertin alkuperäisiin muistiinpanoihin. Ongelma herättää kysymyksen matemaattisten todisteiden yksinkertaisuuden kriteeristä ja sellaisen todistusteorian kehittämisestä , joka pystyy osoittamaan, että tämä todistus on yksinkertaisin [1] .
Saksalainen historioitsija Rüdiger Thiele löysi ongelman 24 uudelleen vuonna 2000. Hän huomautti, että Hilbert ei sisällyttänyt tehtävää 24 Hilbertin ongelmia esittelevään luentoon eikä julkaistuihin teksteihin. Hilbertin ystävät ja matemaatikot Adolf Hurwitz ja Hermann Minkowski olivat tiiviisti mukana projektissa, mutta he eivät olleet tietoisia ongelmasta.
Hilbertin ongelmia | |
---|---|