ЧЕРКАССЫ  ИНФОРМАЦИОННО-СПРАВОЧНЫЙ ПОРТАЛ ГОРОДА И ОБЛАСТИ   ГЛАВНАЯ         ВХОД          РЕГИСТРАЦИЯ        КАРТА САЙТА   
Энциклопедии и справочники

Математическая энциклопедия
ФОРМАЛИЗМ

- направление в основаниях математики, программа к-рого была выдвинута Д. Гильбертом (D. Hilbert). Целью этой программы было доказательство непротиворечивости математики точным математич. способом. Программа Гильберта предусматривала уточнение понятия доказательства, чтобы последние могли быть объектами математич. теории - доказательств теории.
Чтобы сделать возможным точное рассмотрение доказательств, им придается единая, точно определенная форма. Это осуществляется с помощью формализации теорий: утверждения теории заменяются конечными последовательностями определенных знаков, а логич. способы заключения - формальными правилами образования новых формально представленных высказываний из уже доказанных. Таким образом, математич. теория заменяется формальной системой.
Несмотря на то что попытка осуществления программы Гильберта в целом оказалась несостоятельной (см. Гёделя теорема о неполноте), проведенные в рамках этой программы исследования имели большое значение для развития многих разделов математич. логики.
Термин лФ.

Наверх

Ротатор баннеров 468x60

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер
 

 
Добавить баннер

Добавить баннер       Партнерка для Вашего сайта



Ротатор баннеров 88x31

Баннеров в ротаторе: 0   Смотреть все   Добавить баннер