Хилбертови проблеми

Хилбертовите проблеми ca 23 нерешени от математиците проблема, представeни от Давид Хилберт по време на втория математически конгрес, проведен в Париж през 1900 г. Според него те ще определят целите на математиците през ХХ век.

Първият Хилбертов проблем се отнася до хипотезата за континуума на Кантор. През 1940 г. Курт Гьодел доказва, че хипотезата не може да бъде опровергана в рамките на теорията на множествата на Цермело-Френкел, дори ако се приеме аксиомата за избора. През 1963 г. Пол Коен доказва, че хипотезата не може и да бъде доказана на базата на същата аксиоматика. И двамата предполагат, че аксиоматиката на Цермело-Френкел е вътрешно непротиворечива.

В таблицата са представени проблемите и тяхното състояние за момента – решеност, нерешеност, полу- или частична решеност.

Таблица на 23-те проблема редактиране

23-те проблема на Хилберт са:

Проблем	Кратко обяснение	Състояние
1-ви	Хипотезата за континуума (тоест няма множество, по-мощно от множеството на целите числа и по-малко мощно от множеството на реалните числа)	Гьодел доказва (1939), че ако аксиоматичната система на Цермело – Френкел е непротиворечива, то тя не може да опровергае хипотезата за континуума. Коен доказва (1969), че при същите предположения хипотезата не може да бъде доказана, т.е. че в най-широко използваната теория на множествата проблемът е нерешим. През последните две десетилетия се води дискусия за това дали хипотезата може да бъде доказана, или опровергана в рамките на друга теория на множествата. Водещият специалист в тази област Уилиам Удин работи върху формулирането на по-съвършена аксиоматична система от тази на Цермело – Френкел, която ще може да опровергае хипотезата за континуума. Неговият колега Джон Стийлс смята, че начинанието е безсмислено и обречено на неуспех.^[1]^[2]
2-ри	Да се докаже непротоворечивостта на Пеановата аритметика.	Проблемът е нерешим така, както е поставен от Хилберт, т.е. в рамките на Хилбертовата програма, която допуска използването на трансфинитна индукция само до $\omega$ (първото безкрайно ординално число). Нерешимостта е следствие от теоремата на Гьодел за непълнотата. Генцен успява обаче да покаже (1936) непротиворечивостта на Пеановата аритметика в по-малко строга метаматическа програма с височина на индукционните изводи до $\epsilon _{0}$ (най-малкото ординално число, непредставимо като аритметичен израз от по-малки ординални числа). Доказано е, че този резултат не може да бъде подобрен.^[3]^[4]^[5]^[6] Тъй като използването на ординални числа, по-малки от $\epsilon _{0}$ , е незначително отклонение от Хилбертовата програма, което не крие рискове, доказателството на Генцен се счита за решение на проблема.^[7]
3-ти	Може ли да се докаже, че два тетраедъра имат един и същ обем? (при определени допускания)	Решен. Резултат: не, виж Инварианта на Ден
4-ти	Да се построят всички метрики, където правите линии са геодезични криви.	Неясно формулиран^[8] Според Rowe & Gray четвъртият проблем не е твърде добре дефиниран, за да бъде определено дали е решен или не.
5-и	Дали всички непрекъснати групи автоматично са групи на Ли?	Решен (1950, отговор положителен).
6-и	Пълна аксиоматизация на физиката.	Нерешен. Нематематически
7-и	Дали a^b е трансцендентно, за всяко алгебрично число a ≠ 0,1 и ирационално алгебрично b ?	Решен. Резултат: да, виж например Теоремата на Гелфонд или Теоремата на Гелфонд – Шнайдер
8-и	Римановата хипотеза („Реалната част на всяка кратна нула на Римановата дзета-функция е равна на ½“.) и Хипотезата на Голдбах (всяко четно, по-голямо от 2, може да бъде записано като сбор от прости числа).	Открит^[9]
9-и	Да се докаже най-общият закон за взаимност във всяко алгебрично числово поле.	Частично решен^[10]
10-и	Определяне решимостта на диофантовите уравнения.	Решен. Резултат: не. От теоремата на Матиясевич следва, че това е невъзможно.
11-и	Решаване на квадратични форми с алгебрични числови коефициенти.	Частично решен
12-и	Разширяване на теоремата на Кронекер за абелови полета за рационални числа над произволно числово поле.	Открит
13-и	Решаване на всички уравнения от седма степен с помощта на функции на две променливи.	Решен
14-и	Доказателство за крайност за напълно определена система от функции.	Решен. Резултат: не, най-общо с контрапримери
15-и	Строго обосноваване на изчислителното смятане на Шуберт.	Частично решен
16-и	Топология на реални алгебричните криви и гранични цикли на полиномиални диференциални уравнения в равнината.	Открит
17-и	Представяне на дефинитни рационални функции като частно на суми от квадрати.	Решен. Резултат: An upper limit was established for the number of square terms necessary
18-и	Нерегулярно запълване на пространството с конгруентни многостени. Кое е най-плътното опаковане на кълбото?	Решен^[11]
19-и	Решенията на регулярната задача на Лагранж винаги ли са аналитични?	Решен. Резултат: да
20-и	Общата задача за граничните условия винаги ли има решения?	Решен. Успешните изследвания през 20 век достигат кулминация при решаването на нелинейния случай.
21-ви	Доказателство за съществуване на линейни диференциални уравнения с дадена монодромна група.	Решен. Резултат: Да или не, зависи от по-точните формулировки на проблема
22-ри	Униформизиране на аналитичните зависимости с помощта на автоморфни функции.	Решен
23-ти	Развитие на методите на вариационното смятане.	Решен

Литература редактиране

Александров П.С. (ред.), Проблемы Гильберта, ИСФАРА, 2000, 5-1236-0064-7
Bieberbach L., Über den Einfluß von Hilberts Pariser Vortrag über „Mathematische Probleme“ auf die Entwicklung der Mathematik in den letzten dreißig Jahren в Naturwissenschaften, 18, 51., 1930, ISSN 0028 – 1042
Thiele R., Wos L., Hilbert's Twenty-Fourth Problem в Journal of Automated Reasoning, 29, 1., 2002, ISSN 0168 – 7433
Фельдман Н. И., Седьмая проблема Гильберта, Издательство Московского университета, 1982
Матиясевич Ю.В., Десятая проблема Гильберта, Физматлит, 1993, ISBN 0-502-01432-6-Х
Болтянский В. Г., Третья проблема Гильберта, „Наука“, Москва, 1977

Бележки редактиране

↑ виж. Schindler R., Wozu brauchen wir grosse Kardinalzahlen? (ps) Архив на оригинала от 2007-08-07 в Wayback Machine., Mathematische Semesterberichte, 53, 2006 и Schindler R., Wozu brauchen wir grosse Kardinalzahlen? Архив на оригинала от 2007-08-07 в Wayback Machine., встъпителна лекция, 2004
↑ Cohen P., Set Theory and the Continuum Hypothesis. W. A. Benjamin Inc., New York 1966, ISBN 978-0-8053-2327-6
↑ Барвайс Дж. (ред.), Справочная книга по математической логике. Теория доказательств и конструктивная математика, Москва, „Наука“, 1983
↑ Schütte K., Proof Theory, Springer, 1977, ISBN 0-387-07911-4
↑ Menzler-Trott E., Gentzens Problem, Birkhäuser, 2001, ISBN 3-7643-6574-9
↑ Deutsch M., Einführung in die Grundlagen der Mathematik, Universitätsdruckerei Bremen, 1999, ISBN 3-88722-438-8
↑ Макар че чрез трансфинитна индукция до $\epsilon _{0}$ може да се докаже непротиворечивостта на аритметиката до $\omega$ , за непротиворечивостта на използваните методи остава винаги някакво съмнение. Всеобщо приетото схващане е, че тези съмнения са пренебрежими и че евентуални парадокси в изложението на Генцен не могат и никога няма да бъдат намерени. Тази вяра се гради най-вече върху очевидната интуитивна близост между Генценовата и Хилбертовата програма.
↑ Според Rowe & Gray по-голямата част от проблемите са решени. Някои не са пълно/достатъчно добре дефинирани, но по тях има достатъчен напредък, за да могат да бъдат считани за „решени“.
↑ Осмият проблем се състои от два известни проблема, които все още не са решени. Първият от двата – Римановата хипотеза, е един от седемте проблема на хилядолетието, които се оказват „Хилбертовите проблеми“ на XXI век.
↑ Деветият проблем е решен в Абеловия случай с развитието на класическата теория на полето; неабеловият случай остава нерешен, ако се интерпретира с помощта на неабеловата класическа теория на полето.
↑ Rowe & Gray also list the 18th problem as „открит“ in their 2000 book, because the sphere-packing problem (also known as the Kepler conjecture) was unsolved, but a solution to it has now been claimed (see reference below).

[1] виж. Schindler R., Wozu brauchen wir grosse Kardinalzahlen? (ps) Архив на оригинала от 2007-08-07 в Wayback Machine., Mathematische Semesterberichte, 53, 2006 и Schindler R., Wozu brauchen wir grosse Kardinalzahlen? Архив на оригинала от 2007-08-07 в Wayback Machine., встъпителна лекция, 2004

[2] Cohen P., Set Theory and the Continuum Hypothesis. W. A. Benjamin Inc., New York 1966, ISBN 978-0-8053-2327-6

[3] Барвайс Дж. (ред.), Справочная книга по математической логике. Теория доказательств и конструктивная математика, Москва, „Наука“, 1983

[4] Schütte K., Proof Theory, Springer, 1977, ISBN 0-387-07911-4

[5] Menzler-Trott E., Gentzens Problem, Birkhäuser, 2001, ISBN 3-7643-6574-9

[6] Deutsch M., Einführung in die Grundlagen der Mathematik, Universitätsdruckerei Bremen, 1999, ISBN 3-88722-438-8

[7] Макар че чрез трансфинитна индукция до $\epsilon _{0}$ може да се докаже непротиворечивостта на аритметиката до $\omega$ , за непротиворечивостта на използваните методи остава винаги някакво съмнение. Всеобщо приетото схващане е, че тези съмнения са пренебрежими и че евентуални парадокси в изложението на Генцен не могат и никога няма да бъдат намерени. Тази вяра се гради най-вече върху очевидната интуитивна близост между Генценовата и Хилбертовата програма.

[8] Според Rowe & Gray по-голямата част от проблемите са решени. Някои не са пълно/достатъчно добре дефинирани, но по тях има достатъчен напредък, за да могат да бъдат считани за „решени“.

[9] Осмият проблем се състои от два известни проблема, които все още не са решени. Първият от двата – Римановата хипотеза, е един от седемте проблема на хилядолетието, които се оказват „Хилбертовите проблеми“ на XXI век.

[10] Деветият проблем е решен в Абеловия случай с развитието на класическата теория на полето; неабеловият случай остава нерешен, ако се интерпретира с помощта на неабеловата класическа теория на полето.

[11] Rowe & Gray also list the 18th problem as „открит“ in their 2000 book, because the sphere-packing problem (also known as the Kepler conjecture) was unsolved, but a solution to it has now been claimed (see reference below).

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]