«Но решению старой философской проблемы, о которой мы упомянули, ныне способствует и другое обстоятельство. В наше время на недосягаемую высоту поднялись не только техника экспериментирования и искусство возведения здания теоретической физики, но и их дополнение – логическая наука – достигло существенного успеха. Ныне существует общий метод рассмотрения естественнонаучных вопросов, который во всех случаях облегчает уточнение постановки проблемы и способствует подготовке ее решения. Я имею в виду аксиоматический метод.

Возникает вопрос: какое отношение имеет познание природы к аксиоматике, о которой сегодня говорится так много? Основная идея заключается в том, чтобы сформулировать в обширных областях науки немногочисленные утверждения, называемые аксиомами, чтобы затем чисто логическим путем возвести все здание теории. Но значение аксиоматики отнюдь не исчерпывается этим замечанием. Лучше всего суть аксиоматического метода нам позволят понять примеры. Древнейший и наиболее известный пример аксиоматического метода – геометрия Евклида».

Комментарий теории понятий: «Аксиоматика Гильберта – система аксиом евклидовой геометрии. Разработанная Гильбертом как более полная, нежели система аксиом Евклида. Но даже в аксиоматике Гильберта отсутствует возможность определения новых геометрических объектов».

А вот еще один пример аксиоматического метода, заимствованный мной из совершенно другой области. Мы привыкли к тому, что в наших теоретических науках используются формальные процессы мышления и абстрактные методы. Аксиоматический метод принадлежит логике. При слове «логика» у многих возникает представление о предмете очень скучном и трудном. Но сегодня логическая наука легко понимаема и очень интересна. Например, стало понятно, что и в повседневной жизни используются методы и возникают понятия, требующие высокой степени абстракции, понимаемые только с помощью неосознанного, интуитивного применения аксиоматических методов.

Следование аксиоматическим методам должно, как нам кажется, действительно привести к системе законов природы, соответствующих в своей совокупности действительности, и необходимо лишь мышление, то есть дедукция в терминах понятий, чтобы построить все физическое знание; и тогда был бы прав Гегель, утверждавший, что все явления природы можно вывести из понятий.

Инструментом, посредством которого осуществляется взаимосвязь теории и практики, мышления и наблюдения, служит математика; она наводит мосты и неусыпно следит за тем, чтобы те не утратили способность выдерживать нагрузку. Отсюда следует, что в основе всей нашей современной культуры, поскольку она направлена на постижение природы разумом и использование природы на благо человеку, лежит математика. Еще Галилей сказал: «Понять Природу может лишь тот, кто знает язык, на котором она говорит с нами, и его письмена; язык же ее – математика, письмена – математические фигуры». Канту принадлежит следующее высказывание: «Я утверждаю, что в каждой области естествознания собственно науки столько, сколько в ней математики».

Истинная причина, по которой Канту не удалось найти неразрешимую проблему, по моему мнению, состоит в том, что неразрешимых проблем вообще не существует. Вместо непознаваемого, о котором твердят глупцы, наш лозунг гласит прямо противоположное: «Мы должны знать, мы будем знать».

В обоснование логики этого утверждения можно привести его замечание о логических парадоксах. Гильберт писал: «…эти парадоксы происходят скорее потому, что используются недопустимые, бессмысленные образования понятий, которые в моей теории исключаются сами собой». Можно сказать, что теория семантических понятий обеспечивает в соответствии с теорией Гильберта постановку семантически корректных проблем, что гарантирует их разрешимость. Алгоритмически неразрешимых проблем не существует!