Problemy Hilberta: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
Wiggles007 (dyskusja | edycje)
prośba o źródła
Tashi (dyskusja | edycje)
Linia 1:
{{Źródła|zwłaszcza dot. aktualnego stanu wiedzy, i do uwzględnienia rozbieżności z en wiki (problemy nr. 5, 6, 11, 13, 15, 23)|data=2010-06}}
 
'''Problemy Hilberta''' to lista 23 zagadnień matematycznych przedstawiona przez [[David Hilbert|Davida Hilberta]] na Międzynarodowym Kongresie Matematyków w [[Paryż|Paryżu]]u w [[1900]] roku podczas referatu pokazującego stan matematyki na przełomie XIX i XX wieku.
 
Sam Hilbert prawdopodobnie nie zdawał sobie sprawy z wagi i trudności wielu spośród postawionych przez siebie problemów. Próby ich rozwiązania wpłynęły znacząco na rozwój matematyki w XX wieku.
 
Obecnie większość problemów Hilberta została rozwiązana, choć niektóre problemy sformułowane są zbyt ogólnie, by można to było jednoznacznie stwierdzić. Do nierozwiązanych wciąż problemów należy m.in. problem numer 8, który zawiera dwie sławne hipotezy dotyczące [[liczbyLiczba pierwszepierwsza|liczb pierwszych]] ([[hipoteza Goldbacha|hipotezę Goldbacha]] i [[hipoteza Riemanna|hipotezę Riemanna]]).
 
==Lista problemów Hilberta==
 
== Lista problemów Hilberta ==
{| class="wikitable"
! Nr
Linia 16 ⟶ 15:
| align="center" | 1
| [[Hipoteza continuum]] (nie istnieje [[zbiór]] o [[moc zbioru|mocy]] pośredniej pomiędzy mocą zbioru [[liczby całkowite|liczb całkowitych]] i [[liczby rzeczywiste|liczb rzeczywistych]])
| style="background:#FFEE99;" | Udowodniono, że hipoteza ta jest niezależna od [[Aksjomaty Zermelo-FraenklaFraenkela|aksjomatyki Zermelo-Fraenkla]] [[teoria mnogości|teorii mnogości]]. W oparciu o te aksjomaty nie można jej ani udowodnić, ani obalić.
|-
| align="center" | 2
Linia 32 ⟶ 31:
| align="center" | 5
| Czy wszystkie ciągłe [[grupa (matematyka)|grupy]] są jednocześnie [[grupa Liego|grupami Liego]]?
| style="background:#EEFFCC;" | Rozwiązany w 1953 r. – dowodu dostarcza [[Twierdzenie Gleasona-Montgomery'ego-Zippina|twierdzenie Gleasona-Montgomery'ego-Zippina]].
|-
| align="center" | 6
Linia 39 ⟶ 38:
|-
| align="center" | 7
| Czy liczba ''a''<sup>''&nbsp;b''</sup>, gdzie [[liczby algebraiczne|liczba algebraiczna]] ''a'' jest różna od 0 i 1, a ''b'' jest algebraiczną [[liczby niewymierne|liczbą niewymierną]], jest [[liczbyliczba przestępneprzestępna|liczbą przestępną]]?
| style="background:#EEFFCC;" | Rozwiązany – odpowiedzi pozytywnej udziela [[Twierdzenie Gelfonda-Schneidera|twierdzenie Gelfonda]].
|-
| align="center" | 8
| [[Hipoteza Riemanna]] (część rzeczywista każdego nietrywialnego [[miejsce zerowe|zera]] [[funkcjaFunkcja dzetazeta Riemanna|funkcji dzeta]] jest równa &frac12;) i [[hipoteza Goldbacha]] (każda [[parzystość liczb|liczba parzysta]] większa od 2 może być wyrażona jako suma dwóch [[liczbyLiczba pierwszepierwsza|liczb pierwszych]])
| style="background:#FFCCCC;" | Problem otwarty.
|-
| align="center" | 9
| Dowód uogólnionego [[prawo wzajemności reszt kwadratowych|prawa wzajemności]] dla każdego algebraicznego [[ciało (matematyka)|ciała]] liczbowego
| style="background:#FFFF99;" | Rozwiązany częściowo. W 1927 r. [[Emil Artin|Emil Artin]] podał dowód dla [[rozszerzenie abelowe|rozszerzeń abelowych]] ([[Twierdzenie Artina o wzajemności|twierdzenie Artina o wzajemności]]). Przypadek ogólny pozostaje otwarty.
|-
| align="center" | 10
Linia 59 ⟶ 58:
|-
| align="center" | 12
| Rozszerzenie [[twierdzenie Kroneckera-Webera|twierdzenia Kroneckera-Webera]] o [[ciało (matematyka)|ciałach]] [[grupaGrupa abelowaprzemienna|abelowych]] na dowolne algebraiczne ciała liczbowe
| style="background:#FFCCCC;" | Problem otwarty.
|-
| align="center" | 13
| Rozwiązywanie wszystkich [[równanieRównanie (matematyka)|równań]] 7. stopnia przy użyciu [[funkcja (matematyka)Funkcja|funkcji]] dwóch zmiennych
| style="background:#EEFFCC;" | Rozwiązany. Możliwość rozwiązania wszystkich takich równań udowodnił [[Władimir Arnold]].
|-
Linia 79 ⟶ 78:
|-
| align="center" | 17
| Wyrażenie określonych funkcji rzeczywistych jako ilorazu sum [[kwadrat (algebra)potęgowanie|kwadratów]]
| style="background:#EEFFCC;" | Rozwiązany. Znaleziono górne ograniczenie dla liczby wymaganych składników.
|-
Linia 87 ⟶ 86:
|-
| align="center" | 19
| Czy rozwiązania [[lagranżjan|lagranżjanów]]ów są zawsze [[funkcjaWzór analitycznaTaylora#Szereg Taylora|analityczne]]?
| style="background:#EEFFCC;" | Rozwiązany. Odpowiedź twierdząca. Dowód podany przez [[Ennio de Giorgi|Ennio de Giorgiego]]ego oraz niezależnie, z wykorzystaniem innego aparatu, przez [[John Nash Jr|Johna Forbesa Nasha]].
|-
| align="center" | 20
| Czy wszystkie zadania [[rachunek wariacyjny|rachunku wariacyjnego]] z określonymi [[warunkiZagadnienie brzegowe|warunkami brzegowymi]] mają rozwiązania?
| style="background:#EEFFCC;" | Rozwiązany. Obszar intensywnych i szeroko zakrojonych badań w XX w.; wieloletnie wysiłki zwieńczone w 1998 r. skonstruowaniem dowodu dla przypadku nieliniowego.
|-
| align="center" | 21
| Dowód istnienia [[równanie różniczkowe#R.C3.B3wnania_postaci_3Równania postaci 3|liniowych równań różniczkowych]] z przypisanymi [[monodromia|grupami monodromii]]
| style="background:#EEFFCC;" | Rozwiązany w 1957 r. przez [[Helmut Rörl|Helmuta Rörla]]. Odpowiedź twierdząca lub przecząca, w zależności od bardziej szczegółowego sformułowania problemu.
|-
Linia 107 ⟶ 106:
|}
 
== Zobacz też ==
* [[Problem otwarty]]
* [[Problemy Smale'a]]
* [[Problemy milenijne]]
 
== Linki zewnętrzne ==
* [http://www.mathematik.uni-bielefeld.de/~kersten/hilbert/rede.html Oryginalny tekst paryskiego przemówienia Hilberta] (język niemiecki)
* [http://aleph0.clarku.edu/~djoyce/hilbert/problems.html Przemówienie Hilberta przetłumaczone na język angielski]
* [http://www.matematycy.interklasa.pl/problemy/hilberta.php Strona o problemach Hilberta] (język polski)
 
[[Kategoria:Historia matematyki]]
Linia 141 ⟶ 140:
[[sv:Hilbertproblemen]]
[[th:ปัญหาของฮิลแบร์ท]]
[[vi:Các bài toán của Hilbert]]
[[uk:Проблеми Гільберта]]
[[vi:Các bài toán của Hilbert]]
[[zh:希尔伯特的23个问题]]