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

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

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

  Лит.: Генцен Г., Исследования логических выводов, пер. с нем., в кн.: Математическая теория логического вывода, М, 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).

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

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

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

Сёке (Söke), город на З. Турции, в вилайете Айдын. 30 тыс. жителей (1970). Торговый центр (хлопок, маслосемена, табак, инжир). Цементный завод, хлопкоочистка. В районе С. — добыча бурого угля.

Сёкефальви-Надь (Szökefalvi-Nagy) Бела [р. 29.7.1913, Коложвар (Клуж)], венгерский математик, академик Венгерской АН (1956; член-корреспондент 1945). Окончил (1936) университет в Сегеде, с 1948 профессор там же. С 1953 президент Математического комитета, с 1970 президент Сегедского комитета Венгерской АН. Основные работы относятся к теории приближения функций и функциональному анализу, в частности к теории расширения операторов в гильбертовом пространстве. Иностранный член АН СССР (1971).

  Соч. в рус. пер.: Лекции по функциональному анализу, М., 1954 (совм. с Ф. Риссом); Гармонический анализ операторов в гильбертовом пространстве, М., 1970 (совм. с Ч. Фояшем).

  Лит.: «Matematikai Lapok», 1964, t. 15, №1—3, p. 1—22 (имеется список трудов).

  С. А. Теляковский.

Се'кешфе'хервар (Szekesfehervar), город в Венгрии, административный центр медье Фейер. 72,5 тыс. жителей (1970). Важный транспортный узел на равнине к В. от гор Баконь. Крупный центр машиностроения [завод радиоприёмников и телевизоров «Видеотон» (с 13,5 тыс. занятых), автобусный завод «Икарус», станкостроительный завод и др.], алюминиево-прокатное производство (завод даёт 72 тыс. m продукции в год; занято 4,1 тыс. человек), хлопчато-бумажная, швейная, пищевая промышленность.