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

4) Согласно древней традиции, также принятой в математической логике (см., например, С. К. Клини, Введение в метаматематику, пер. с англ., М., 1957, §§19 и 77), к П. формальной системы (исчисления) относят аксиомы, записанные на её собственном («предметном») языке, и правила вывода, формулируемые на данной теории (и входящие потому в её ).

5) П. называют такие утверждения дедуктивных и особенно полудедуктивных наук, доказать которые вообще нельзя хотя бы потому, что подтверждающие их доводы и факты носят исключительно опытный, индуктивный характер (см. , ); к тому же в ряде таких случаев речь идёт об утверждении эквивалентности некоторого интуитивно ясного, но четко не формулируемого утверждения или понятия с утверждением или понятием, являющимся экспликацией (уточнением) первого и потому формулируемым на принципиально более высокой ступени абстракции (примеры первого типа: основные принципы термодинамики, принцип постоянства скорости света и предельного её характера; пример второго типа — т. н. тезис Чёрча в теории алгоритмов).

  Лит. см. при статьях , .

Постум Марк Кассианий Латиний

По'стум Марк Кассианий Латиний (Marcus Cassianius Latinius Postumus) (умер 268), римский полководец, узурпировавший власть в в 258 (при императоре Галлиене) и создавший независимую Галльскую империю (258—273).

Поступательное движение

Поступа'тельное движе'ние , движение твёрдого тела, при котором прямая, соединяющая две любые точки тела, перемещается параллельно самой себе. При П. д. все точки тела описывают одинаковые (при наложении совпадающие) траектории и имеют в каждый момент времени одинаковые по численной величине и направлению скорости и ускорения. Поэтому изучение П. д. тела сводится к задаче кинематики точки (см. ).

Постфактум

Постфа'ктум (от лат. post factum — после сделанного), после того, как что-либо уже произошло.

Постышев Павел Петрович

По'стышев Павел Петрович (партийный псевдоним Ермак) [6(18).9.1887 — 26.2.1939], советский партийный деятель. Член Коммунистической партии с 1904. Родился в Иваново-Вознесенске в семье рабочего-ткача. В революционном движении с 1901. В 1905 депутат Иваново-Вознесенского совета рабочих депутатов. В 1906 член Ивановского городского комитета, в 1907—1908 член бюро окружного комитета РСДРП. В 1908 арестован, приговорён к каторге, в 1912 выслан на вечное поселение в Иркутскую губернию. В 1914—17 член Иркутского бюро РСДРП, руководитель профсоюза металлистов. С марта 1917 депутат, с августа — заместитель председателя Иркутского совета, председатель Центрального бюро Союза профсоюзов. С декабря 1917 член Иркутского ВРК, организатор отрядов Красной Гвардии. В 1918 председатель Ревтрибунала, член Центросибири и её представитель в Дальневосточном СНК в Хабаровске. В период Гражданской войны 1918—20 на подпольной работе на Дальнем Востоке, руководил партизанскими отрядами Приамурья. В 1920 уполномоченный ЦК РКП (б) по Хабаровскому району, кандидат в члены Дальневосточного бюро ЦК РКП (б). В 1921—22 уполномоченный правительства Дальневосточной республики (ДВР) по Прибайкальской области; член Военного совета Восточного фронта ДВР; областной комиссар юстиции правительства ДВР в Верхнеудинске, председатель Прибайкальского губисполкома. С 1923 на партийной работе на Украине. В 1924—25 секретарь Киевского губкома, затем окружкома КП (б) У, в 1926—30 секретарь Харьковского окружкома и горкома КП (б) У; в 1925 член ЦК и кандидат в члены Политбюро ЦК КП (Б) У, в 1926—30 член Политбюро, Оргбюро и секретарь ЦК КП (б) У. В 1930—33 секретарь ЦК ВКП (б), член Оргбюро ЦК. Одновременно в 1933—37 секретарь ЦК, член Политбюро и Оргбюро ЦК КП (б) У и с 1934 секретарь Киевского обкома КП (б) У. В 1937—38 секретарь Куйбышевского крайкома ВКП (б). Делегат 11, 13—17-го съездов ВКП (б); на 14-м съезде избирался кандидатом в члены ЦК, на 15—17-м — членом ЦК ВКП (б); в 1934—38 кандидат в члены Политбюро ЦК ВКП (б). Член Президиума ЦИК СССР. Награжден орденом Ленина и орденом Красного Знамени.