Выбрать главу

Хилбертовите проблеми са изключително разнородни по своя характер. Някои са съвсем конкретни въпроси, изискващи еднозначен отговор „да“ или „не“. Такива са 3 и 7 проблем. В други случаи задачата е по-неопределена, например в 12 проблем. 23 проблем по същество е проблем за по-нататъшното развитие на вариационното смятане.

Каква е равносметката днес? Някои от проблемите са били решени сравнително бързо. Например проблем 3 е решен от Макс Ден в 1902 година. Други са далеч от завършване. Например проблем 6. Самият Хилберт по друг повод е казал, че „физиката е прекалено трудна за физиците“. Колмогоров аксиоматизира теорията на вероятностите, Джон фон Нойман и други успяват да формализират квантовата механика, но като цяло проблемът е открит, особено в областта на елементарните частици и квантовата теория на полето. Най-изненадващи за самия Хилберт са отрицателните решения на първия и втория проблем през трийсетте години от Курт Гьодел. През 1931 година Гьодел доказва две теореми за непълнота. Първата теорема за непълнота твърди, че ако една формална система на аритметиката е непротиворечива, то в нея се съдържа формално неразрешимо твърдение (с други думи съществува формула А такава, че нито А, нито нейното отрицание, са теореми в системата). Втората теорема за непълнота твърди, че в качеството на А може да се вземе формула, която по естествен начин изразява непротиворечивостта на аритметиката. Тези две теореми са изключително важни. Те показват принципната неосъществимост на Хилбертовата програма за пълна формализация на математиката и обосноваването на получената формална система чрез доказване на нейната непротиворечивост с финитни методи. Малко преди пенсионирането си през 1930 година Хилберт произнася реч в Кьонигсберг пред Дружеството на немските учени и лекари, в която заявява: „Ние трябва да знаем. Ние ще знаем“. Тези думи са изсечени на гроба му в Гьотинген. Гьодел обаче всъщност показва, че не можем винаги да знаем. Някои от проблемите са решени по-бързо, отколкото Хилберт е очаквал — например проблем 7 е решен от Александър Гелфонт през 1934 година. В пълна противоположност проблем 18 не бе решен допреди 8 години. Този проблем, известен още като пакетиране на сфери, всъщност датира още от времето на Йохан Кеплер.

Каква е равносметката? Като цяло програмата на Хилберт от 23 проблема е успешно решена (някои от тях — в отрицателен смисъл). Крайният резултат е, че днес много по-ясно и дълбоко осъзнаваме възможностите и ограниченията на науката математика. Разбира се, тази програма съвсем не изчерпва сериозните постижения на чистата математика през ХХ век. Достатъчно е да споменем създаването на нестандартния анализ през 60-те години от Ейбръхам Робинсън, с който отново се въвеждат (вече съвсем строго!) безкрайно малките и безкрайно големите числа, „тормозили“ цели поколения математици след въвеждането им от Нютон и Лайбниц и „успешно изхвърлени“ от Коши и Вайерщрас през XIX век. Всъщност според скромното мнение на автора на настоящите редове само това постижение е достатъчно, за да оправдае усилията на хората, работещи в областта на теоретичната математика през настоящото столетие. А този резултат съвсем не е изолиран.

Естествено възниква и въпросът: а оттук нататък? Безспорно математиката тепърва ще се развива, при това далеч не като изолирана наука. Влиянието и върху другите науки (а и на тях върху нея) видимо расте буквално с всеки изминал ден. Как, с каква скорост и в каква посока, в момента е практически невъзможно да се прецени обективно. Звучи парадоксално, но „най-точната наука“ не може да бъде „изчислена“ накъде и колко бързо ще се движи. И тази неизвестност е едно от най-вълнуващите неща в нея.