През 1900 г. математикът Дейвид Хилбърт публикува списък с 23 нерешени математически задачи. Списъкът с проблеми се оказва много влиятелен: той очертава посоки за изследване в математиката през XX век и стимулира развитието на множество области. След смъртта на Хилберт в неговите трудове е открит още един проблем; днес той понякога е известен като 24-ия проблем на Хилберт. Този проблем се отнася до намирането на критерии, които да покажат, че решението на дадена задача е най-простото възможно и до въпроси за сравнение и опростяване на доказателства.

От 23-те проблема голяма част са решени напълно или частично през XX и началото на XXI век, но някои остават нерешени или се оказват независими от тогавашните аксиоматични системи. Към началото на XXI век — и до днес — има задачи, които са получили окончателен отговор, задачи с частични резултати, както и такива, чиито формулировки се оказват неоднозначни и са подложени на преосмисляне. Като признаване на продължаващата роля на подобни списъци, през 2000 г. Институтът по математика "Клей" формулира нов набор от фундаментални въпроси — т.нар. "Проблеми на наградата на хилядолетието".

Защо списъкът е важен

Хилбертовите проблеми не са просто сборник от задачи — те представляват рамка, която насочва изследователските приоритети. Много от задачите довеждат до развитието на нови методи, теории и цели области — като алгебрична геометрия, теория на числата, функционален анализ, теория на доказателствата и математическата логика. Хилберт също така формулира амбицията да се даде твърда аксиоматична основа на математиката, идеал, който повлиява философските дебати в началото на XX век (например Хилбертовата програма).

Примери и текущ статус (избрано)

  • Проблем 1 (хипотезата за континуума) — класическият въпрос за размера на множеството на реалните числа в сравнение с множеството на естествените числа. Резултатите на Гьодел и Кохен показват, че хипотезата е независима от стандартните аксиоми на теорията на множествата (ZF и ZFC): тя не може да бъде нито доказана, нито опровергана от тях при условие, че аксиомите са консистентни.
  • Проблем 2 (конзистентността на аритметиката) — Хилберт поиска доказателство за консистентността на теоретичната аритметика чрез finitистични методи. Гьоделовите теореми за непълнота показаха ограниченията на такъв подход: система, достатъчно силна да формулира аритметика, не може да докаже своята собствена консистентност. Това не "решава" проблема в смисъла на положителен доказателствен резултат, но промени разбиранията за възможните отговори.
  • Проблем 3 (декомпозиция на полиедри) — решен скоро след публикуването: Антон Дейн (Max Dehn) даде критерий за приравняване чрез парчета (decomposition) на изпъкнали тела в тримерното пространство.
  • Проблем 10 (диофантови уравнения) — Андрей Матиасевич (заедно с резултати на Мартин Дейвис, Хилберт и Юриу Робинсън) показа, че общият въпрос за алгоритмичното определяне дали дадено диофантово уравнение има цяло решение е неразрешим. Това е фундаментален отрицателен отговор: няма алгоритъм, който да решава всички такива уравнения.
  • Проблем 7 (трансцендентност на определени числа) — тук има значителен прогрес: теоремата на Гелфонд — Шнайдер и по-нататъшните резултати на Алан Бейкър дават много примери за трансцендентни числа и решават голяма част от въпросите, поставени от Хилберт, но не всички варианти са напълно изчерпани в обща форма.
  • Проблем 8 (Риманова хипотеза) — остава нерешен и до днес и е един от най-известните открити въпроси в математиката. Положителното или отрицателното решение има дълбоки последствия за теорията на числата и разпределението на простите числа.
  • Проблем 6 (аксиоматизация на физиката) — поставя задачата за строга математическа формулировка на законите на физиката. Въпросът е повече програмен и философски; докато отделни теории (като класическата механика, теория на вероятностите, квантовата механика) имат аксиоматични формулировки, общата цел за единна аксиоматизация на цялата физика остава открита и е предмет на активно изследване.

Отговори с неочаквани последици

Решенията и частичните решения на Хилбертовите проблеми често са довели до непредвидими открития. Например:

  • Работата по втория проблем доведе до дълбоки резултати в математическата логика и до формулирането на Гьоделовите теореми за непълнота.
  • Решението на десетия проблем (неразрешимост на общите диофантови уравнения) свърза теорията на числата с теория на изчислимостта и теория на автоматите.
  • Много от проблемите, които на вид изглеждат конкретни, изискват създаване на нови теории и методи, които после се прилагат в съвсем други области.

За 24-ия проблем и за нееднозначността на някои формулировки

Откритият по-късно 24-ти проблем на Хилберт и някои от първоначално формулираните 23 задачи показват, че самата формулировка на въпроса понякога е ключова. Няколко от проблемите са били впоследствие определени като "твърде неясни" или прекалено широко формулирани — това изисква уточняване и модернизация на формулировките, за да може тяхното разрешение да бъде формален математически резултат.

Наследство

Хилбертовите проблеми остават символ на амбицията за систематично и логично подреждане на математическото знание. Те не само задават конкретни въпроси, но и предлагат модел за това как да се поставят важни и стимулиращи проблеми в науката. Днес много от идеите, породени от тези проблеми, продължават да влияят върху математическите изследвания и върху начина, по който се формулират и решават фундаментални въпроси.

Ако желаете, мога да добавя кратък списък с всички 23 проблема с кратка бележка за статуса на всеки (решен/частично решен/нерешен/незададено), или по-подробно описание на някои от най-важните от тях.