IPB

Здравствуйте, гость ( Вход | Регистрация )

Введите слово для поиска


Результаты поиска

Современный толковый словарь

ФОРМАЛИЗМ , - ..1) предпочтение, отдаваемое форме перед содержанием в различных сферах человеческой деятельности. Проявляется в безукоснительном следовании правилам этикета, ритуала даже в тех случаях, когда жизненная ситуация делает это бессмысленным, в преклонении перед буквой закона при пренебрежении к его духу, в искусстве - в признании "чистой" формы единственно ценным художественным элементом, и т. п...2) Направление в основаниях математики, объединившее идущую от Г. Фреге идею строгой формализации математических рассуждений с абстрактным подходом к математике как неинтерпретированному исчислению (формальной системе) с целью доказательства ее непротиворечивости. Основатель - Д. Гильберт.

Ссылка на документ: ФОРМАЛИЗМ ,
Текстовая версия

Анатолий Иванович ЛУКЬЯНОВ
бывший спикер Верховного Совета СССР, ныне один из лидеров коммунистической оппозиции в Госдуме. Известен также как поэт под псевдонимом ОСЕНЕВ. Особо благоприятным для поэтического творчества Лукьянова оказался период после августовских событий 199...>>>

Смотреть календарь

(24 апреля по ст. ст.) На заседании III Государственной думы министр финансов России Владимир Николаевич КОКОВЦОВ произнес фразу: «У нас парламента, слава Богу, еще нет». (Другой вариант этих слов, приводившийся в советские времена: «У нас...>>>
Смотреть календарь

БАЙРАМ, бейрам м. два подвижные праздника у мусульман, после уразы, поста: большой байрам, татарский мясоед, татарское розговенье, вслед за постом рамазан; малый или курбан-байрам, 70 дней спустя. Байрамное угощение. Ныне татары наши байрамнича...