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

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

; ;

.

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

Основной результат немецкого математика Г. Генцена состоит в установлении возможности приведения каждого вывода в С. и. к «нормальной форме», не содержащей применений правила сечения и тем самым представляющей в некотором смысле «прямой» вывод. Из многочисленных приложений этого результата особенно важны доказательства непротиворечивости арифметических формальных систем, использующие математическую технику, выходящую за рамки гильбертовского финитизма (см. Аксиоматический метод, Метаматематика ) , и тем самым обходящие в известном смысле трудности, обусловленные теоремой К. Гёделяо неполноте формальной арифметики. Эта же основная теорема Генцена лежит в основе большинства алгоритмов выводимости для логических и логико-математических исчислений (см. Разрешения проблема ) , чем и обусловлена исключительная важность С. и. для интенсивно развивающихся исследований в области машинного поиска логического вывода, являющихся важным примером моделирования интеллектуальной деятельности человека.

Лит.: Генцен Г., Исследования логических выводов, пер. с нем., в кн.: Математическая теория логического вывода, М, 1967, с. 9—74; его же. Непротиворечивость чистой теории чисел, там же, с. 77—153; его же, Новое изложение доказательства непротиворечивости для чистой теории чисел, там же, с. 154—90; Карри Х. Б Основания математической логики. пер. с англ., М., 1969, гл. 5С, 6B, 7B и 8B; Алгорифм машинного поиска естественного логического вывода в исчислении высказываний, М. — Л., 1965.

Секве'стр(от лат. sequestro — ставлю вне, отделяю), в буржуазном гражданском праве запрещение или ограничение, налагаемое государственной властью в интересах государства на пользование каким-либо имуществом (взрывчатыми веществами, наркотиками, ядами и др.).

Секве'стр(медицинский), омертвевший в результате нарушения кровоснабжения участок ткани, отделившийся от окружающей здоровой ткани организма. Наблюдается, например, при остеомиелите. Секвестрироваться может также ткань лёгкого, сухожилия, мышцы. Оставаясь в организме, С. постоянно поддерживает нагноительный процесс. С. может выделиться наружу самостоятельно с током гноя; в других случаях его удаляют хирургическим путём.

Секво'йя(Sequoia), род вечнозелёных хвойных деревьев семейства таксодиевых. Единственный вид — С. вечнозелёная (S. sempervirens). Вместе с секвойядендроном относится к высочайшим деревьям (достигают высоты свыше 100 м и диаметра 8,5 м ) . Растет в горах Калифорнии и Южного Орегона; образует порослевые леса. В Европе и Азии С. найдена в ископаемом состоянии. Древесина идёт на строительство, подводные сооружения и т. д. В культуре встречается редко, в СССР — в Западном Закавказье и на Южном берегу Крыма.

Лит.: Деревья и кустарники СССР, т. 1, М. — Л., 1949.

Секвойя вечнозелёная, ветвь с шишкой.

Секвойяде'ндрон,мамонтово дерево, веллингтония (Sequoiadendron giganteum), гигантское вечнозелёное хвойное дерево семейства таксодиевых. Высота свыше 100 м, живёт до 1500 (по некоторым данным, до 3—4 тыс.) лет. Ствол прямой, стройный, диаметром до 10 м, у старых деревьев свободный от ветвей в нижней части или иногда до половины. Крона густая, коническая или округлая. Кора бурая, у молодых деревьев красноватая. Листья (хвоя) серовато-зелёные, спирально расположенные, узколанцетные, сверху вогнутые. Семенные шишки на концах боковых побегов, яйцевидные, длиной 5—7,5 см и шириной 3—4,5 см, деревянистые, до созревания семян зелёные, затем бурые; созревают на 2-й год и остаются на дереве после выпадения семян. Семена плоские, с перепончатым крылом. Растет С. в Калифорнии, по западным склонам Сьерра-Невады, на высоте 1450—2500 м. Наиболее обширные естественные заросли С. объявлены заповедными, отдельные гигантские экземпляры называют собственными именами. Дерево декоративное, введено в культуру в парках и садах Южной и Средней Европы. В СССР в культуре в Южном Крыму, Средней Азии, на Кавказе, в Закарпатье.

Лит.: Деревья и кустарники СССР, т. 1, М. — Л., 1949: Kammeyer Н. F., Mammutbäume, Ziemsen, 1960 (Die neue Brehm-Bücherei, Н. 256).

В. Н. Гладкова.

Секвойядендрон гигантский. Ветвь с шишкой.

Секвойядендрон гигантский. Старое дерево.