ФОРМАЛИЗМ

ФОРМАЛИЗМ

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


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем сделать НИР
Синонимы:

Антонимы:

Смотреть что такое "ФОРМАЛИЗМ" в других словарях:

  • ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …   Философская энциклопедия

  • ФОРМАЛИЗМ — [< лат. forma вид, образ, изображение] 1) соблюдение внешней формы в ущерб сути дела; 2) противопоставляющее себя актуальным задачам общественной жизни направление в эстетике, искусстве, литературе и т. п., придающее главное значение форме в… …   Словарь иностранных слов русского языка

  • формализм — а, м. formalisme m., нем. Formalismus <лат. 1. Преобладание внешней формы, правил в каком л. деле; формальное отношение к чему л. БАС 1. Тяжелый формализм, военная вытяжка (руки по швам! ) и гражданское подобострастие в одежде, наружности и… …   Исторический словарь галлицизмов русского языка

  • ФОРМАЛИЗМ — ФОРМАЛИЗМ, формализма, мн. нет, муж. 1. Приверженность к соблюдению внешних формальностей в ущерб существу дела, строго формальное отношение к чему нибудь. Бюрократический формализм. Излишний формализм в работе. 2. Направление (в искусстве, в… …   Толковый словарь Ушакова

  • формализм — абстракция; педантизм, казенщина, официальность, забюрократизированность, канцелярщина, формалистика, педантичность, педантство, формальность, буквоедство, ригоризм Словарь русских синонимов. формализм буквоедство (разг.) см. также педантизм… …   Словарь синонимов

  • Формализм — Государство * Армия * Война * Выборы * Демократия * Завоевание * Закон * Политика * Преступление * Приказ * Революция * Свобода * Флот Власть * Администрация * Аристокр …   Сводная энциклопедия афоризмов

  • Формализм —  Формализм  ♦ Formalisme    Суждение не о материальном или чувственном содержании чего либо, а о его форме. Так, в формальной логике и в математике рассуждают об «иксах» и «игреках», входящих в знаковую систему, подчиняющуюся собственной… …   Философский словарь Спонвиля

  • ФОРМАЛИЗМ — 1) предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в прекло …   Большой Энциклопедический словарь

  • ФОРМАЛИЗМ — ФОРМАЛИЗМ, а, муж. 1. Соблюдение внешней формы в чём н. в ущерб существу дела. Бюрократический ф. 2. В искусстве, эстетике и других гуманитарных науках: общее название направлений, придающих первенствующее значение форме, внешнему выражению. Ф. в …   Толковый словарь Ожегова

  • ФОРМАЛИЗМ — англ. formalism; нем. Formalismus. 1. Соблюдение внешней формы в ущерб существу дела. 2. В философии свойственный различным видам идеализма отрыв формы от содержания. 3. Искусствоведческое направление в XIX XX вв., претендующее на раскрытие… …   Энциклопедия социологии

  • Формализм — предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в… …   Политология. Словарь.


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»