1900 m. matematikas Davidas Hilbertas paskelbė 23 neišspręstų matematikos uždavinių sąrašą. Šis problemų sąrašas pasirodė esąs labai įtakingas: jis sustiprino matematikos kryptingumą XX a., nurodė prioritetines tyrimų sritis ir tapo gairėmis naujoms kartoms matematikų. Po Hilberto mirties jo raštuose buvo rasta dar viena problema; šiandien ji kartais vadinama 24-ąja Hilberto problema. Ši problema susijusi su kriterijų, rodančių, kad uždavinio sprendimas yra paprasčiausias įmanomas, paieška.

Kas įtraukta ir kokia buvo poveikio apimtis

Hilberto 23 užduotys aprėpė labai įvairias matematikos sritis: skaičių teoriją, analizę, topologiją, algebraiškas struktūras, fizikos matematikos pagrindus ir kt. Daug uždavinių paskatino naujų metodų kūrimą, o kai kurių sprendimai pakeitė matematikos kryptis ar įvedė naujas disciplinų šakas.

Keletas žymių sprendimų ir reikšmingų rezultatų

  • Hilberto 3-ioji problema (dekompozicija erdvėje): ją 1900 m. išsprendė Maxas Dehnas, parodydamas, kad grafiniai polihedraliniai kūnai ne visada gali būti pertvarkyti iš vienas kito lygiomis dalimis.
  • Hilberto 2-oji problema (aritmetikos sistemos nuoseklumo įrodymas): Kurtas Gödelis (1931) savo neišbaigtumo teoremomis parodė, kad daugelį natūralių formulių apie skaičius negalima įrodyti ar paneigti pačioje sistemoje, taigi tradicinis visapusiškas nuoseklumo įrodymas iš tos pačios sistemos buvo neįmanomas.
  • Hilberto 10-oji problema (diofantinių lygčių sprendžiamumas): 1970 m. Jurijus Matijasevičius kartu su ankstesniais darbuotojais parodė, kad nėra algoritmo, galinčio nuspręsti, ar bendro pobūdžio diofantinė lygtis turi sveikų skaičių sprendinį — problema išspręsta neigiamai.
  • Poincaré hipotezė (viena iš užduočių ir susijusių klausimų topologijoje): Grigorijus Perelmanas 2002–2003 m. pateikė sprendimą (naudodamas Ricci srauto metodus), kurio pripažinimas leido uždaryti vieną iš garsiausių klausimų 3-matmenų topologijoje.
  • Riemanno hipotezė (Hilberto 8-oji problemos dalis) ir kiti klausimai susiję su pirminių skaičių pasiskirstymu išlieka atviri — tai vienas iš svarbiausių iki šiol neišspręstų problemų, kuriai skiriama didžiulė tarptautinė dėmesio dalis.
  • Continuum hipotezė (susijusi su Hilberto užduotimis): Kurtas Gödelis ir Paulas Cohenas parodė, kad continuum hipotezė yra neišsprendžiama (nepriklausoma) iš įprastinių ZF (Zermelo–Fraenkel) aibės teorijos su pasirinkimo aksioma — t. y. nei galima jos įrodyti, nei paneigti tame aksiomatiniame rėme.

Statusas ir tolimesnės pasekmės

Ne visos iš 23 užduočių buvo vienareikšmiškai “išspręstos” tradicine prasme: kai kurios yra visiškai išspręstos, kai kurios — parodytos nepriklausomos nuo naudojamų aksiomų, o dar kitos tik iš dalies sprendžiamos arba perorientavo tyrimus į naujas sritis. Kai kurios problemos buvo suformuluotos gana bendrais arba nepakankamai preciziškais terminais, todėl jose reikėjo papildomų apibrėžimų, kad būtų įmanomas griežtas sprendimas.

24-oji problema ir vėlesnė įtaka

Hilberto “24-oji” problema, atrasta jo užrašų, siejosi su kriterijais, kuriais remiantis galima būtų palyginti įrodymų paprastumą ir rasti trumpesnius ar elegantiškesnius sprendimus. Nors ši problema nebuvo viešai paskelbta 1900 m., jos idėjos vėliau sužadino susidomėjimą formalizmu, įrodymų teorija ir optimizavimo metodais matematikoje.

Moderni perspektyva ir Tūkstantmečio problemos

Atsižvelgdamas į šių užduočių poveikį, 2000 m. Molio matematikos institutas suformulavo naują, labiau aktualių šiuolaikinės matematikos klausimų, sąrašą — Tūkstantmečio premijos problemas, kurioms spręsti skiriamos milijono dolerių prizai. Kai kurios iš šių naujų problemų (pvz., Riemanno hipotezė) yra glaudžiai susijusios su Hilberto programos temomis ir rodo, kad pagrindiniai matematikos iššūkiai tęsėsi per kelis amžius.

Poveikis mokslui ir edukacijai

Hilberto 23 problemos parodė, kaip strateginis klausimų kėlimas gali sutelkti tyrimus ir paskatinti naujų metodų atsiradimą. Daugelyje universitetų ir tyrimų centrų šios problemos naudojamos kaip istorinis ir pedagogo įrankis, padedantis studentams suprasti, kokie klausimai buvo ir tebėra kertiniai matematikos raidai.

Apibendrinant, Hilberto problemų sąrašas — tai ne vien sąrašas uždavinių, bet ir katalizatorius, formavęs modernios matematikos raidą. Kai kurios užduotys buvo išspręstos visiškai, kai kurios — parodytos kaip nepriklausomos nuo tam tikrų aksiomų, o kitos tebėra aktyvios tyrimų sritys, kuriose dar laukia svarbių atradimų.