Читать «Большая Советская Энциклопедия (ПО)» онлайн - страница 992

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

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

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

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

Поставка

Поста'вка , поставки договор, в СССР договор, заключаемый между социалистическими организациями для оформления их хозяйственных отношений, связанных с реализацией продукции и товаров. В силу договора П. поставщик обязуется передать в определённые сроки покупателю (заказчику) в собственность (если покупатель государственная организация — в оперативное управление) конкретную продукцию согласно обязательному для обеих сторон плановому акту её распределения (наряду, разнарядке и т.п.). Покупатель обязуется принять продукцию и оплатить её по установленным ценам. П. считается также договор о передаче продукции, не распределяемой в плановом порядке, в срок, не совпадающий с моментом заключения договора (см. также статьи , ). Общие положения о П. предусмотрены Основами гражданского законодательства 1961; детально эти отношения регулируются Положением о поставках продукции производственно-технического назначения и Положением о поставках товаров народного потребления, утвержденными Советом Министров СССР 9 апреля 1969, отдельных видов продукции и другими нормативными актами. В договоре П. должны быть определены: наименование, количество и качество подлежащей П. продукции; общий срок действия договора и сроки П.; цена на продукцию и общая сумма договора; порядок расчётов; тара и упаковка и т.д. В необходимых случаях договором П. определяются также ассортимент, сортность и комплектность продукции. За нарушение условий договора П. стороны несут имущественную ответственность. Например, при просрочке П. или недопоставке продукции производственно-технического назначения поставщик уплачивает покупателю в размере 3% стоимости недопоставленной в срок продукции (при просрочке свыше 10 дней — дополнительную неустойку в размере 5%). Уплата неустойки не освобождает от П. продукции. Законодательство предусматривает также порядок и сроки предъявления в связи с недостатками поставленной продукции, ответственность за нарушение др. условий договора и т.д. Споры, связанные с П., в том числе и преддоговорные споры, разрешаются в органах арбитража.