Большая Советская Энциклопедия (ПО)

Пост, установленный некоторыми религиями запрет на определённый срок приёма всякой пищи или отдельных её видов (особенно мяса, рыбы, молочных продуктов). Происхождение П. связано с некоторыми культовыми ограничениями в древнейших классовых обществах; истоки этого обычая уходят в глубокую древность, к тем временам, когда недостаток продуктов питания требовал от людей самоограничения в еде, что получило форму узаконенных обычаями запретов — табу . В современных религиях П. обосновывается учением о примате духа над плотью. В христианстве, исламе, иудаизме П. служит одним из средств усиления религиозности верующих. В православии установлены 4 многодневных П. — великий (7-недельный), петров (от 1 до 5 недель в зависимости от того, когда отмечается пасха), успенский (2-недельный), рождественский (6-недельный); кроме того, имеются однодневные посты по средам и пятницам каждой недели и в некоторые др. дни (например, в крещенский сочельник, в день праздника воздвижения ). Во время П. исключается мясная и молочная пища. Всего православная церковь санкционирует около 200 постных дней в году. В католицизме нет многодневных П.; соблюдаются П.: в среду 1-й недели великого П., в страстную пятницу, в канун успения и рождества. Протестантизм (исключая англиканскую церковь) обязательных П. не знает. В исламе главный пост — ураза , во время которого ежедневно от восхода до заката солнца на протяжении всего месяца рамазана запрещены еда, питье, курение и др. Существуют также индивидуальные П. — по обету и «выкупы» за нарушение верующим предписаний Корана и Шариата . В иудаизме имеются П. общественные (установленные в знак траура, в дни покаяния, в память различных событий в истории народа) и индивидуальные (по обету). В современных условиях, когда ради укрепления подорванных позиции религии различные церкви встали на путь модернизации догматики, культа, наметился более гибкий подход и к П., выражающийся в менее строгом требовании его соблюдения.

  А. В. Белов, Л. И. Климович, М. С. Беленький.

Пост Эмиль Леон

Пост (Post) Эмиль Леон (11.2.1897, Августов, Польша, — 21.4,1954, Нью-Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью-Иоркском и др. университетах США. Им получен ряд фундаментальных результатов в математической логике ; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем (исчислений ); доказательства функциональной полноты и дедуктивной полноты (в широком и узком смысле) исчисления высказываний; изучение систем многозначной логики с более чем 3 значениями истинности; одно из первых (независимое от А. М. Тьюринга ) определении понятия алгоритма в терминах «абстрактной вычислительной машины» и формулировка основного тезиса теории алгоритмов о возможности описать любой конкретный алгоритм посредством этого определения; результаты о выразимости общерекурсивных функций и предикатов через примитивно рекурсивные, в частности т. н. теорема о нормальной форме; первые (одновременно с А. А. Марковым ) доказательства алгоритмической неразрешимости ряда проблем математической логики и алгебры и др.

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.).

Поставка