Hilbert huszonnegyedik problémája egy matematikai probléma, amelyet nem a Hilbert- problémák néven ismert 23 feladatot tartalmazó lista részeként tettek közzé , hanem szerepelt David Hilbert eredeti jegyzeteiben. A probléma felveti a matematikai bizonyítások egyszerűségi kritériumának kérdését, valamint egy olyan bizonyítási elmélet kidolgozását , amely képes bizonyítani, hogy ez a bizonyítás a legegyszerűbb [1] .
A 24. problémát Rüdiger Thiele német történész fedezte fel 2000-ben. Megjegyezte, hogy Hilbert nem vette fel a 24. feladatot sem a Hilbert problémáit bemutató előadásba, sem a publikált szövegekbe. Hilbert barátai és matematikustársai, Adolf Hurwitz és Hermann Minkowski szorosan részt vettek a projektben, de nem tudtak a problémáról.
Hilbert problémák | |
---|---|