Хильбертс проблемалары - Hilberts problems - Wikipedia

Дэвид Хилберт

Гильберттің проблемалары жиырма үш проблема математика неміс математигі шығарған Дэвид Хилберт 1900 жылы. Олардың барлығы сол кезде шешілмеген болатын, ал олардың бірнешеуі 20 ғасырдағы математикаға өте әсерлі болды. Гильберт он проблеманы ұсынды (1, 2, 6, 7, 8, 13, 16, 19, 21 және 22). Париж конференциясы Халықаралық математиктердің конгресі, 8 тамызда сөйлеген сөзінде Сорбонна. 23 мәселенің толық тізімі кейінірек, ең бастысы, 1902 жылы ағылшын тіліндегі аудармасында жарияланды Мэри Фрэнсис Уинстон Ньюсон ішінде Американдық математикалық қоғамның хабаршысы.[1]

Мәселелердің сипаты мен әсері

Гильберттің проблемалары тақырып пен дәлдікке байланысты болды. Олардың кейбіреулері, бірінші болып шешілген 3-ші есеп немесе 8-ші есеп ( Риман гипотезасы ), әлі күнге дейін шешілмеген, нақты оң немесе теріс жауап беру үшін жеткілікті түрде ұсынылды. 5-ші сияқты басқа мәселелер бойынша сарапшылар дәстүрлі түрде бірыңғай түсіндіру туралы келісімге келді және қабылданған интерпретацияға шешім берілді, бірақ тығыз байланысты шешілмеген проблемалар бар. Гильберттің кейбір мәлімдемелері нақты бір мәселені көрсету үшін жеткілікті дәл емес еді, бірақ қазіргі заманғы сипаттағы кейбір проблемалар қолданыла алатындай дәрежеде ұсыныс жасады; мысалы, ең заманауи сан теоретиктері 9-шы мәселені абсолюттің көрінісі бойынша болжамды Лангланд сәйкестігіне сілтеме жасау ретінде қарастырар еді Галуа тобы а нөмір өрісі.[дәйексөз қажет ] 11-ші және 16-шы сияқты басқа мәселелер қазіргі кездегі дамып келе жатқан математикалық субдисциплиналарға қатысты, мысалы, теориялар. квадраттық формалар және нақты алгебралық қисықтар.

Екі проблема бар, олар тек шешілмеген, сонымен қатар қазіргі заманғы стандарттар бойынша шешілмейтін болуы мүмкін. 6-шы мәселе аксиоматизацияға қатысты физика ХХ ғасырдың дамуы Гильберттің уақытына қарағанда анағұрлым алыс және маңызды емес болып көрінетін мақсат. Сонымен қатар, 4-ші есеп геометрияның негіздеріне қатысты, бұл қазіргі кезде нақты жауап беру үшін тым түсініксіз деп есептеледі.

Басқа жиырма бір проблемаға ерекше назар аударылды, ал ХХ ғасырдың аяғында бұл проблемалар бойынша жұмыс әлі де маңызды болып саналды. Пол Коэн алды Fields Medal 1966 жылы оның бірінші есеп бойынша жұмысы үшін, ал оныншы мәселені теріс шешуі 1970 ж Юрий Матияевич (жұмысты аяқтау Мартин Дэвис, Хилари Путнам, және Джулия Робинсон ) ұқсас мақтауды тудырды. Осы проблемалардың аспектілері бүгінгі күні де үлкен қызығушылық тудыруда.

Ингорабимус

Келесі Gottlob Frege және Бертран Рассел, Хильберт әдісін қолдана отырып, математиканы логикалық тұрғыдан анықтауға тырысты ресми жүйелер, яғни, ақырғы келісілген аксиомалар жиынтығынан дәлелдер.[2] Негізгі мақсаттарының бірі Гильберт бағдарламасы арифметика аксиомаларының дәйектілігінің қаржылық дәлелі болды: бұл оның екінші мәселесі.[a]

Алайда, Годельдің екінші толық емес теоремасы арифметиканың дәйектілігінің мұндай түпкілікті дәлелдеуі мүмкін емес дәл мағынаны береді. Хильберт кейін 12 жыл өмір сүрді Курт Годель өзінің теоремасын жариялады, бірақ Годельдің жұмысына ешқандай ресми жауап жазбаған сияқты.[b][c]

Гильберттің оныншы проблемасы бар ма, жоқ па деп сұрамайды алгоритм шешімділігі туралы шешім қабылдауға арналған Диофантиялық теңдеулер, керісінше құрылыс осындай алгоритм: «теңдеудің рационалды бүтін сандарда шешілетіндігін операциялардың ақырлы санында анықтауға болатын процесті ойластыру.» Бұл мәселенің мұндай алгоритмнің болуы мүмкін еместігін көрсету арқылы шешілді, бұл Гильберттің математика философиясына қайшы келеді.

Кез-келген математикалық есептің шешімі болуы керек деген пікірін талқылай отырып, Гильберт шешімнің бастапқы есептің мүмкін еместігінің дәлелі бола алатындығына мүмкіндік береді.[d] Ол мәселе шешудің жолын немесе тәсілін білуде екенін айтты және біз мұны әрдайым біле аламыз деп ойладым, бұл математикада жоқ »надандық «(шындықты ешқашан білу мүмкін емес мәлімдеме).[e] Ол оныншы мәселені шешуді надандықтың мысалы ретінде қарастырар ма еді, түсініксіз сияқты: жоқ екендігі дәлелденген нәрсе бүтін шешім емес, (белгілі бір мағынада) шешімнің бар-жоқтығын белгілі бір жолмен ажырата білу бар.

Екінші жағынан, бірінші және екінші есептердің мәртебесі одан да күрделі: Годельдің нәтижелері (екінші мәселе жағдайында) немесе Годель мен Коэн (жағдайда) нәтижелері туралы нақты математикалық консенсус жоқ. бірінші мәселенің) түпкілікті теріс шешімдерін береді немесе бермейді, өйткені бұл шешімдер проблемалардың белгілі бір ресімделуіне қолданылады, бұл міндетті түрде жалғыз мүмкін емес.[f]

24-ші мәселе

Бастапқыда Гильберт өзінің тізіміне 24 проблеманы енгізді, бірақ олардың біреуін жарияланған тізімге енгізбеуге шешім қабылдады. «24-ші проблема» (in дәлелдеу теориясы, критерийі бойынша қарапайымдылық және жалпы әдістер) неміс тарихшысының Гильберттің қолжазба жазбаларында қайта табылды Рюдигер Тиеле 2000 жылы.[5]

Жалғасулар

1900 жылдан бастап математиктер мен математикалық ұйымдар проблемалық тізімдер жариялады, бірақ аз ғана жағдайларды қоспағанда, олар Гильберттің есептеріндей әсер етпеді және жұмыс жасады.

Бір ерекшелік үш болжамнан тұрады Андре Вайл 1940 жылдардың аяғында Вейл болжамдары ). Өрістерінде алгебралық геометрия, сандар теориясы және екеуінің арасындағы байланыстар, Вайл болжамдары өте маңызды болды[дәйексөз қажет ]. Бұлардың біріншісі дәлелдеді Бернард Дворк; арқылы алғашқы екеуінің мүлдем басқаша дәлелі ℓ-адиктік когомология, берген Александр Гротендик. Вейл болжамдарының соңғы және тереңдігі (Риман гипотезасының аналогы) дәлелденді Пьер Делинь. Гротендиек те, Делигн де марапатталды Өрістер медалі. Алайда, Вейлдің болжамдары, олардың шеңберінде, Гильберттің бір ғана проблемасына ұқсас болды, және Вайл оларды ешқашан барлық математикаға арналған бағдарлама ретінде қарастырған жоқ. Бұл біршама күлкілі, өйткені Вайл 1940-1950 жылдардағы математик болған, ол Гильберт рөлін жақсы ойнаған, ол (теориялық) математиканың барлық салаларымен әңгімелесуші және олардың көпшілігінің дамуында маңызды рөл атқарған.

Paul Erdős жүздеген, тіпті мыңдаған математикалық позицияларды ұсынды мәселелер, олардың көпшілігі терең. Ердс ақшалай сыйақыларды жиі ұсынатын; сыйақының мөлшері проблеманың қабылданған қиындықтарына байланысты болды.

Мыңжылдықтың аяғы, ол сонымен қатар Гильберттің өзінің проблемаларын жариялағанына жүзжылдық болды, «Гильберт проблемаларының жаңа жиынтығын» ұсынуға табиғи жағдай жасады. Бірнеше математиктер қиындықты қабылдады, атап айтқанда Fields Medalist Стив Смэйл сұрауына жауап берген Владимир Арнольд 18 проблеманың тізімін ұсыну.

Кем дегенде, негізгі бұқаралық ақпарат құралдарында іс жүзінде ХХІ ғасырдың аналогы - Гильберт жетінің тізімі Мыңжылдық сыйлығының мәселелері 2000 жылы таңдалған Балшық математика институты. Гильберт проблемаларынан айырмашылығы, мұнда басты сыйлық Хильберттің және жалпы математиктердің таңданысы болды, әр жүлде мәселесінде миллион доллар сыйақы бар. Гильберт проблемалары сияқты, сыйлық проблемаларының бірі ( Пуанкаре гипотезасы ) проблемалар жарияланғаннан кейін көп ұзамай шешілді.

The Риман гипотезасы өзінің геометриялық түріндегі Гильберт проблемаларының тізімінде, Смэйл тізімінде, Мыңжылдықтың проблемалары тізімінде, тіпті Вейлдің болжамында пайда болуымен ерекшеленеді. Біздің заманымыздың ірі математиктері оған шабуыл жасағанымен, көптеген сарапшылар бұл көптеген ғасырлар бойы шешілмеген мәселелер тізімінің бөлігі болады деп санайды. Гильберттің өзі: «Егер мен мың жыл ұйықтағаннан кейін оянсам, менің бірінші сұрағым: Риман гипотезасы дәлелденді ме?»[6]

2008 жылы, ДАРПА математиканың үлкен жетістіктеріне әкелуі мүмкін деп үміттенетін 23 проблеманың жеке тізімін жариялады, осылайша ғылыми-техникалық мүмкіндіктерді күшейтті DoD."[7][8]

Қысқаша мазмұны

Таза тұжырымдалған Гильберт есептерінің 3, 7, 10, 14, 17, 18, 19 және 20 есептері математикалық қоғамдастықтың консенсусымен қабылданған шешімге ие. Екінші жағынан, 1, 2, 5, 6, 9, 11, 15, 21 және 22 есептерінде ішінара қабылдауға болатын шешімдер бар, бірақ олардың проблемаларды шешетін-шешпейтіндігіне қатысты қайшылықтар бар.

Бұл 8 қалдырады ( Риман гипотезасы ), 12, 13 және 16[g] шешілмеген, және 4 және 23-ті шешілмеген деп сипаттау өте түсініксіз. Шығарылған 24-і де осы сыныпта болатын еді. 6 саны математикадан гөрі физикадағы проблема ретінде ауыстырылады.

Мәселелер кестесі

Гилберттің жиырма үш мәселесі (шешімдер мен сілтемелер туралы толық ақпаратты бірінші бағанмен байланыстырылған егжей-тегжейлі мақалалардан қараңыз):

МәселеҚысқаша түсініктемеКүйЖыл шешілді
1-шіThe үздіксіз гипотеза (яғни жоқ орнатылды кімдікі түпкілікті арасында қатаң түрде болады бүтін сандар және нақты сандар )Ішінде дәлелдеу немесе жоққа шығару мүмкін емес екендігі дәлелденді Цермело-Фраенкель жиынтығы теориясы бар немесе онсыз Таңдау аксиомасы (берілген) Цермело-Фраенкель жиынтығы теориясы болып табылады тұрақты, яғни қайшылықты қамтымайды). Бұл мәселені шешуге бола ма деген ортақ пікір жоқ.1940, 1963
2-шіЕкенін дәлелдеңіз аксиомалар туралы арифметикалық болып табылады тұрақты.Нәтижелері туралы бірыңғай пікір жоқ Годель және Гентцен проблемаға Гильберт айтқандай шешім беріңіз. Годельдікі екінші толық емес теоремасы, 1931 жылы дәлелдегендей, арифметиканың өзінде оның дәйектілігін дәлелдеу мүмкін емес. Гентцен 1936 жылы арифметиканың дәйектілігі келесіден туындайтындығын дәлелдеді негізділік туралы реттікε.1931, 1936
3-шіКез келген екеуі берілген полиэдра бірдей көлемде, біріншісін екіншіден шығару үшін жиналуы мүмкін көптеген көпжақты бөлшектерге кесуге бола ма?Шешілді. Нәтижесі: Жоқ, дәлелдедім Дехн инварианттары.1900
4-шіБарлығын салыңыз көрсеткіштер сызықтар қайда геодезия.Шешілген немесе жоқ деп айту өте түсініксіз.[h]
5-шіҮздіксіз топтар автоматты түрде дифференциалды топтар ?Шешілген Эндрю Глисон, бастапқы тұжырымның бір интерпретациясын қабылдаймыз. Егер, дегенмен, ол баламасы ретінде түсініледі Гильберт-Смит гипотезасы, ол әлі шешілмеген.1953?
6-шыМатематикалық өңдеу аксиомалар туралы физика

(а) іргетастың шектік теоремаларымен ықтималдықты аксиоматикалық өңдеу статистикалық физика

ә) «атомистік көзқарастан континуаның қозғалу заңдарына алып келетін» процестерді шектеудің қатаң теориясы
Бастапқы тұжырымның қалай түсіндірілуіне байланысты ішінара шешіледі.[9] (А) және (b) тармақтары Гильберт кейінірек түсіндіргенде берілген екі нақты есеп болды.[1] Колмогоровтың аксиоматикасы (1933) қазір стандарт ретінде қабылданды. «Атомистік көзқарастан континуаның қозғалу заңдарына» жету жолында біраз жетістіктер бар.[10]1933–2002?
7Болып табылады аб трансцендентальды, үшін алгебралық а ≠ 0,1 және қисынсыз алгебралық б ?Шешілді. Нәтижесі: Ия, суреттелген Гельфонд теоремасы немесе Гельфонд - Шнайдер теоремасы.1934
8-шіThe Риман гипотезасы
(«кез келген басқа емес нақты бөлігіболмашы нөл туралы Riemann zeta функциясы бұл ½ «)
және басқа жай сандар проблемалары Голдбахтың болжамдары және егіз болжам
Шешілмеген.
9-шы-Ның ең жалпы заңын табыңыз өзара байланыс теоремасы кез-келгенінде алгебралық нөмір өрісі.Ішінара шешілді.[мен]
10-шыБерілген көпмүшенің болуын анықтайтын алгоритмді табыңыз Диофантиялық теңдеу бүтін коэффициенттерімен бүтін шешім бар.Шешілді. Нәтиже: мүмкін емес; Матиясевич теоремасы мұндай алгоритм жоқ екенін білдіреді.1970
11-шіШешу квадраттық формалар алгебралық санмен коэффициенттер.Ішінара шешілді.[11]
12-шіКеңейтіңіз Кронеккер – Вебер теоремасы Абель кеңейтімдері бойынша рационал сандар кез келген негізгі нөмір өрісіне.Шешілмеген.
13-шіШешу 7 дәрежелі теңдеу алгебралық (нұсқа: үздіксіз) қолдану функциялары екеуінің параметрлері.Шешілмеген. Бұл мәселенің үздіксіз нұсқасы шешілді Владимир Арнольд 1957 жылы жұмысына негізделген Андрей Колмогоров, бірақ алгебралық нұсқасы шешілмеген.[j]
14-шіБолып табылады инварианттар сақинасы туралы алгебралық топ әрекет ететін а көпмүшелік сақина әрқашан түпкілікті құрылды ?Шешілді. Нәтиже: Жоқ, қарсы мысал салынған Масайоши Нагата.1959
15-шіҚатты іргетасы Шуберттің санақтық есебі.Ішінара шешілді.[дәйексөз қажет ]
16-шыА-дан шығатын сопақшалардың салыстырмалы орналасуын сипаттаңыз нақты алгебралық қисық және сол сияқты шекті циклдар көпмүшелік векторлық өріс ұшақта.8 дәрежелі алгебралық қисықтар үшін де шешілмеген.
17-шіТеріс емес екенін білдіріңіз рационалды функция сияқты мөлшер сомаларының квадраттар.Шешілді. Нәтиже: иә, байланысты Эмиль Артин. Сонымен қатар, квадрат шарттардың санына жоғарғы шегі белгіленді.1927
18-шіа) тек қана қабылдайтын полиэдр бар ма? біржақты плитка үш өлшемде ме?

ә) ең тығыз дегеніміз не? салалық орау ?
(а) шешілді. Нәтиже: иә (бойынша Карл Рейнхардт ).

(b) кеңінен шешілген деп санайды компьютер көмегімен дәлелдеу (бойынша Томас Каллистер Хейлс ). Нәтиже: ең жоғары тығыздық орамдарды жабыңыз, әрқайсысының тығыздығы шамамен 74%, мысалы, фунт-центрлік кубтық орама және алтыбұрышты жақын орау.[k]
(а) 1928 ж

(б) 1998 ж
19Жүйесіндегі тұрақты мәселелердің шешімі бар ма вариацияларды есептеу әрқашан міндетті аналитикалық ?Шешілді. Нәтиже: Иә, дәлелденген Эннио де Джорджи және әр түрлі әдістерді өз бетінше және қолдана отырып Джон Форбс Нэш.1957
20-шыБарлығын жасаңыз вариациялық есептер нақты шекаралық шарттар шешімдер бар ма?Шешілді. Сызықтық емес жағдайдың шешімдерімен аяқталатын 20-шы ғасырдағы зерттеудің маңызды тақырыбы.?
21-шіБар екендігінің дәлелі сызықтық дифференциалдық теңдеулер тағайындалған монодромды топ Ішінара шешілді. Нәтиже: Мәселенің нақты тұжырымдалуына байланысты Иә / Жоқ / Ашу.?
22-шіКөмегімен аналитикалық қатынастарды біркелкі ету автоморфтық функцияларІшінара шешілді. Біртектестіру теоремасы?
23-шіОдан әрі дамыту вариацияларды есептеуШешілген немесе жоқ деп айту өте түсініксіз.

Сондай-ақ қараңыз

Ескертулер

  1. ^ Нагель мен Ньюманның Хофстадтермен қайта қаралғанын қараңыз (2001, 107-бет),[3] 37-ескерту: «Сонымен қатар, математикалық логика бойынша мамандардың көпшілігі [Гентценнің) дәлелдеуінің жиынтығына күмән келтірмесе де, бұл Гильберттің дәйектіліктің абсолютті дәлелі үшін бастапқы ережелері тұрғысынан финистикалық емес». Сондай-ақ келесі бетті қараңыз: «Бірақ бұл дәлелдемелерді [Гентцен және басқалар] өздеріне қатысты жүйелерде көрсетуге болмайды және олар финистикалық емес болғандықтан, олар Гильберттің бастапқы бағдарламасының жарияланған мақсаттарына жете алмайды». Хофштадтер «студенттер» сөзін «математикалық логика мамандары» деп өзгерте отырып, түпнұсқа (1958) сілтемені сәл қайта жазды. Бұл мәселе 109-бетте тағы да талқыланады[3] және оны Хофштадтер өзгертпеген (108-бет).[3]
  2. ^ Рейд «Годельдің жұмысы туралы Бернейстен естігенде, ол« біршама ашуланған »деп хабарлайды ... Алдымен ол тек ашуланған және ашуланған, бірақ содан кейін ол проблемамен сындарлы түрде айналысуға тырысты ... Годельдің шығармашылығы түптеп келгенде қандай ықпалға ие болатыны анық »(198-199 б.).[4] Рейд 1931 жылы екі мақаласында Гильберт индукцияның «unendliche Induktion» деп аталатын басқа түрін ұсынғанын айтады (199-бет).[4]
  3. ^ Ридтің Хильберттің өмірбаяны, 1960 жылдары сұхбаттардан және хаттардан жазып алғандығы туралы «Годель (Хилбертпен ешқашан хат жазыспаған), менің теріс нәтижелеріме қарамастан, Гильберттің математика негіздеріне арналған схемасы өте қызықты және маңызды болып қала береді деп санайды ( Қазіргі уақыттың қолданылуын қадағалаңыз - ол Годель мен Бернейстің «менің Гильберттің жұмысы туралы сұрақтарыма қисын мен негізде жауап бергенін» айтады (vii б.).[4]
  4. ^ 20 ғасырдың басындағы «іргетас дағдарысынан» басталатын бұл мәселе, атап айтқанда, қандай жағдайда болуы мүмкін деген дау Шығарылған орта заңы дәлелдемелерде қолданылуы керек. Қосымша ақпаратты мына жерден қараңыз Брювер-Гильберт дау-дамайы.
  5. ^ «Әрбір математикалық есептердің шешілу қабілеттілігіне деген сенімділік жұмысшыға күшті ынталандыру болып табылады. Біз ішімізден мәңгілік шақыруды естиміз: Мәселе бар. Оның шешімін іздеңіз. Сіз оны таза ақылмен таба аласыз, өйткені математикада надандық.»(Гильберт, 1902, 445 б.)
  6. ^ Нагель, Ньюман және Хофштадтер бұл мәселені талқылайды: «сияқты жүйелік жүйенің дәйектілігінің ақырлы дәлелі тұрғызу мүмкіндігі. Mathematica Principia Годельдің нәтижелерімен алынып тасталмайды. ... Оның аргументі мүмкіндікті жоймайды ... Бірақ бүгінде ешкімде финистикалық дәлелдің қандай болатынын нақты білмейтін сияқты. емес ішінде көрінуі мүмкін Mathematica Principia (39-ескерту, 109-бет). Авторлар перспектива «екіталай» деп тұжырымдайды.[3]
  7. ^ Кейбір авторлар бұл мәселені шешілмеген деп айтуға тым түсініксіз деп санайды, дегенмен ол бойынша әлі де белсенді зерттеулер жүргізілуде.
  8. ^ Грейдің айтуынша, проблемалардың көпшілігі шешілді. Кейбіреулері толық анықталмаған, бірақ оларды «шешілген» деп санау үшін жеткілікті прогресс жасалды; Грей төртінші мәселені оның шешілген-шешілмегенін айту үшін тым түсініксіз деп санайды.
  9. ^ 9-мәселе шешілді Эмиль Артин 1927 жылы Абелия кеңейтімдері туралы рационал сандар даму барысында сыныптық өріс теориясы; егер абельдік емес жағдай шешілмей қалады, егер біреу мұны мағынасы ретінде түсіндірсе абелиялық емес өріс теориясы.
  10. ^ Есептің бір мәнді аналитикалық функциялар кеңістігінде ішінара шешімі бар екенін көрсету қиын емес (Рауденбуш). Кейбір авторлар Гильберт (көп мәнді) алгебралық функциялар кеңістігінде шешім қабылдауға ниет білдірді, осылайша алгебралық функциялар бойынша өз жұмысын жалғастырды және мүмкін кеңейту туралы сұрақ Галуа теориясы (мысалы, Абхянкарды қараңыз)[12] Витушкин,[13] Чеботарев,[14] және басқалар). Бұл Гильберттің бір қағазынан көрінеді[15] бұл оның проблемаға деген алғашқы ниеті болды. Гилберттің тілі «... Existenz von алгебрашы Функционен ... «, [болуы алгебралық функциялар] .Осылайша, мәселе әлі шешілмеген.
  11. ^ Грей сонымен қатар өзінің 2000-шы кітабында 18-ші мәселені «ашық» деп санайды, өйткені сфераны орау проблемасы (сонымен қатар Кеплер жорамалы ) шешілмеген, бірақ қазір оның шешімі талап етілді.

Әдебиеттер тізімі

  1. ^ а б Хилберт, Дэвид (1902). «Математикалық есептер». Американдық математикалық қоғамның хабаршысы. 8 (10): 437–479. дои:10.1090 / S0002-9904-1902-00923-3. Бұрынғы басылымдар (түпнұсқа неміс тілінде) Хилберт, Дэвид (1900). «Mathematische Probleme». Геттинген Нахрихтен: 253–297. және Хилберт, Дэвид (1901). «[тақырып келтірілмеген]». Archiv der Mathematik und Physik. 3. 1: 44–63, 213–237.
  2. ^ ван Хайенурт, Жан, ред. (1976) [1966]. Фрежден Годельге дейін: 1879–1931 жж., Математикалық логикадағы бастапқы кітап ((пбк.) ред.). Кембридж магистрі: Гарвард университетінің баспасы. 464 бет. ISBN  978-0-674-32449-7.
    Гильберттің аксиоматикалық жүйесінің сенімді көзі, олар туралы және сол кезде болып жатқан іргелі «дағдарыс» туралы пікірлері (ағылшын тіліне аударғанда) Гильберт сияқты көрінеді ‘Математиканың негіздері’ (1927).
  3. ^ а б в г. Нагель, Эрнест; Ньюман, Джеймс Р. (2001). Хофштадтер, Дуглас Р. (ред.). Годельдің дәлелі. Нью-Йорк, Нью-Йорк: Нью-Йорк университетінің баспасы. ISBN  978-0-8147-5816-8.
  4. ^ а б в Рейд, Констанс (1996). Гильберт. Нью-Йорк, Нью-Йорк: Спрингер-Верлаг. ISBN  978-0387946740.
  5. ^ Thiele, Rüdiger (2003 ж. Қаңтар). «Гильберттің жиырма төртінші мәселесі» (PDF). Американдық математикалық айлық. 110: 1–24. дои:10.1080/00029890.2003.11919933. S2CID  123061382.
  6. ^ Клаусон, Калвин С. Математикалық жұмбақтар: Сандардың әсемдігі мен сиқыры. б. 258.
  7. ^ «Әлемдегі ең қиын 23 математикалық сұрақ». 29 қыркүйек 2008 ж.
  8. ^ «DARPA Mathematics Challenge шақыруы». 26 қыркүйек 2008 ж.
  9. ^ Корри, Л. (1997). «Дэвид Гильберт және физиканың аксиоматизациясы (1894–1905)». Арка. Тарих. Дәл ғылым. 51 (2): 83–198. дои:10.1007 / BF00375141. S2CID  122709777.
  10. ^ Горбан, А.Н.; Карлин, И. (2014). «Гильберттің 6-шы есебі: кинетикалық теңдеулер үшін дәл және жуықталған гидродинамикалық коллекторлар». Американдық математикалық қоғамның хабаршысы. 51 (2): 186–246. arXiv:1310.0406. дои:10.1090 / S0273-0979-2013-01439-3.
  11. ^ Хазевинкель, Мичиел (2009). Алгебра туралы анықтамалық. 6. Elsevier. б. 69. ISBN  978-0080932811.
  12. ^ Абхянкар, Шреерам С. «Гильберттің он үшінші мәселесі» (PDF).
  13. ^ Витушкин, А.Г. «Гильберттің он үшінші мәселесі және соған байланысты сұрақтар туралы» (PDF).
  14. ^ Чеботарев, Н.Г., Ерітінділер проблемасының кейбір сұрақтары бойынша
  15. ^ Хилберт, Дэвид (1927). «Über die Gleichung neunten Grades». Математика. Энн. 97: 243–250. дои:10.1007 / BF01447867. S2CID  179178089.

Әрі қарай оқу

Сыртқы сілтемелер