Hilbertove problémy
V roku 1900 matematik David Hilbert uverejnil zoznam 23 nevyriešených matematických problémov. Tento zoznam problémov sa ukázal ako veľmi vplyvný. Po Hilbertovej smrti sa v jeho spisoch našiel ďalší problém; ten sa dnes niekedy označuje ako Hilbertov 24. problém. Tento problém sa týka hľadania kritérií, ktoré by ukázali, že riešenie problému je najjednoduchšie možné.
Z 23 problémov boli tri v roku 2012 nevyriešené, tri boli príliš nejasné na to, aby sa dali vyriešiť, a šesť sa dalo vyriešiť čiastočne. Vzhľadom na vplyv týchto problémov sformuloval Clayov matematický inštitút v roku 2000 podobný zoznam s názvom Problémy ceny tisícročia.
Súhrn
Formulácia niektorých problémov je lepšia ako formulácia iných. Z čisto formulovaných Hilbertových problémov majú konsenzuálne riešenie problémy 3, 7, 10, 11, 13, 14, 17, 19, 20 a 21. Na druhej strane problémy 1, 2, 5, 9, 15, 18+ , a 22 majú riešenia, ktoré majú čiastočný súhlas, ale existuje určitá polemika o tom, či rieši problém.
Riešenie úlohy 18, Keplerovej domnienky, využíva počítačom podporovaný dôkaz. Je to kontroverzné, pretože ľudský čitateľ nie je schopný overiť dôkaz v primeranom čase.
Zostáva teda 16, 8 (Riemannova hypotéza) a 12 nevyriešených. V tejto klasifikácii sú 4, 16 a 23 príliš nejasné na to, aby sa vôbec dali označiť za vyriešené. Do tejto triedy by patrila aj stiahnutá 24. Číslo 6 sa považuje skôr za problém z oblasti fyziky ako z oblasti matematiky.
Tabuľka problémov
Hilbertových dvadsaťtri problémov je:
| Problém | Stručné vysvetlenie | Stav | Rok vyriešenia |
| 1. | Hypotéza o kontinuu (t. j. že neexistuje množina, ktorej kardinalita by bola presne medzi kardinalitou celých a reálnych čísel) | Je dokázané, že v rámci Zermelo-Fraenkelovej teórie množín s axiómou voľby alebo bez nej sa nedá dokázať ani vyvrátiť (za predpokladu, že Zermelo-Fraenkelova teória množín s axiómou voľby alebo bez nej je konzistentná, t. j. neobsahuje dve tvrdenia tak, že jedno je negáciou druhého). Neexistuje zhoda v tom, či ide o riešenie problému. | 1963 |
| 2. | Dokážte, že axiómy aritmetiky sú konzistentné. | Neexistuje zhoda v tom, či výsledky Gödela a Gentzena poskytujú riešenie problému, ako ho uviedol Hilbert. Gödelova druhá veta o neúplnosti, dokázaná v roku 1931, ukazuje, že v rámci samotnej aritmetiky nemožno vykonať žiadny dôkaz jej konzistencie. Gentzenov dôkaz konzistencie (1936) ukazuje, že konzistencia aritmetiky vyplýva z dobre založeného ordinálu ε0 . | 1936? |
| 3. | Je vždy možné rozrezať prvý polyedr s rovnakým objemom na konečný počet polyedrických častí, z ktorých sa dá poskladať druhý polyedr? | Vyriešené. Výsledok: nie, dokázané pomocou Dehnových invariantov. | 1900 |
| 4. | Skonštruujte všetky metriky, v ktorých sú priamky geodetickými priamkami. | Príliš nejasné na to, aby sa dalo povedať, či je to vyriešené alebo nie. | - |
| 5. | Sú spojité skupiny automaticky diferenciálnymi skupinami? | Vyriešil Andrew Gleason alebo Hidehiko Yamabe, podľa toho, ako sa interpretuje pôvodné vyhlásenie. Ak sa však chápe ako ekvivalent Hilbertovej-Smithovej domnienky, je stále nevyriešená. | 1953? |
| 6. | Axiomatizácia celej fyziky | Čiastočne vyriešené. | - |
| 7. | Je a btranscendentálne, pre algebraické a ≠ 0,1 a iracionálne algebraické b ? | Vyriešené. Výsledok: áno, ilustruje to Gelfondova veta alebo Gelfondova-Schneiderova veta. | 1934 |
| 8. | Riemannova hypotéza ("reálna časť každej netriviálnej nuly Riemannovej zeta funkcie je ½") a ďalšie problémy prvočísel, medzi nimi Goldbachova domnienka a domnienka o dvojičkách | Nevyriešené. | - |
| 9. | Nájdite najvšeobecnejší zákon vety o reciprocite v ľubovoľnom algebraickom číselnom poli | Čiastočne vyriešené. | - |
| 10. | Nájdite algoritmus na určenie, či daná polynomická diofantická rovnica s celočíselnými koeficientmi má celočíselné riešenie. | Vyriešené. Výsledok: nemožné, z Matiaševičovej vety vyplýva, že takýto algoritmus neexistuje. | 1970 |
| 11. | Riešenie kvadratických foriem s algebraickými číselnými koeficientmi. | Čiastočne vyriešené. [] | - |
| 12. | Rozšírte Kroneckerovu-Weberovu vetu o abelovských rozšíreniach racionálnych čísel na ľubovoľné základné číselné pole. | Čiastočne vyriešené teóriou poľa tried, hoci riešenie nie je také jednoznačné ako Kroneckerova-Weberova veta. | - |
| 13. | Riešenie rovníc 7. stupňa pomocou spojitých funkcií dvoch parametrov. | Nevyriešené. Problém čiastočne vyriešil Vladimir Arnold na základe práce Andreja Kolmogorova. | 1957 |
| 14. | Je kruh invariantov algebraickej grupy pôsobiacej na polynomický kruh vždy konečne generovaný? | Vyriešené. Výsledok: Nie, protipríklad skonštruoval Masayoshi Nagata. | 1959 |
| 15. | Rigorózny základ Schubertovho enumeratívneho počtu. | Čiastočne vyriešené. [] | - |
| 16. | Opíšte relatívne polohy oválov vychádzajúcich z reálnej algebraickej krivky a ako limitné cykly polynomického vektorového poľa v rovine. | Nevyriešené. | - |
| 17. | Vyjadrenie definitnej racionálnej funkcie ako kvocient súčtov štvorcov | Riešili Emil Artin a Charles Delzell. Výsledok: Bola stanovená horná hranica potrebného počtu štvorcových členov. Nájdenie dolnej hranice je stále otvoreným problémom. | 1927 |
| 18. | (a) Existuje mnohosten, ktorý v troch rozmeroch pripúšťa iba anizoedrické dlaždice? | (a) Rozhodnuté. Výsledok: áno (Karl Reinhardt). | (a) 1928 |
| 19. | Sú riešenia Lagrangeovcov vždy analytické? | Vyriešené. Výsledok: Áno, dokázal to Ennio de Giorgi a nezávisle od neho a s použitím odlišných metód John Forbes Nash. | 1957 |
| 20. | Majú všetky variačné problémy s určitými okrajovými podmienkami riešenia? | Vyriešené. Významná téma výskumu počas celého 20. storočia, ktorá vyvrcholila riešením[] pre nelineárny prípad. | - |
| 21. | Dôkaz existencie lineárnych diferenciálnych rovníc s predpísanou monodromickou skupinou | Vyriešené. Výsledok: Áno alebo nie, v závislosti od presnejších formulácií problému. [] | - |
| 22. | Uniformizácia analytických vzťahov pomocou automorfných funkcií | Vyriešené. [] | - |
| 23. | Ďalší vývoj variačného počtu | Nevyriešené. | - |
Otázky a odpovede
Otázka: Kto v roku 1900 uverejnil zoznam 23 nevyriešených matematických problémov?
Odpoveď: David Hilbert uverejnil v roku 1900 zoznam 23 nevyriešených matematických problémov.
Otázka: Bol Hilbertov 24. problém súčasťou pôvodného zoznamu?
Odpoveď: Nie, Hilbertov 24. problém sa našiel v Hilbertových spisoch po jeho smrti.
Otázka: O čom je Hilbertov 24. problém?
Odpoveď: Hilbertov 24. problém je o hľadaní kritérií, ktoré by ukázali, že riešenie problému je najjednoduchšie možné.
Otázka: Bolo do roku 2012 vyriešených všetkých 23 problémov z Hilbertovho zoznamu?
Odpoveď: Nie, tri z 23 problémov na Hilbertovom zozname neboli v roku 2012 vyriešené.
Otázka: Bol niektorý z problémov na Hilbertovom zozname príliš nejasný na to, aby sa dal vyriešiť?
Odpoveď: Áno, tri z problémov na Hilbertovom zozname boli príliš nejasné na to, aby sa dali vyriešiť.
Otázka: Koľko problémov z Hilbertovho zoznamu sa dalo čiastočne vyriešiť?
Odpoveď: Šesť problémov z Hilbertovho zoznamu sa dalo čiastočne vyriešiť.
Otázka: Vytvoril Clayov matematický inštitút podobný zoznam ako Hilbertov zoznam problémov?
Odpoveď: Áno, Clayov matematický inštitút vytvoril podobný zoznam s názvom Problémy ceny tisícročia v roku 2000.
