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

  Б. С. Сурганов.

Непротиворечивость

Непротиворечи'вость, совместимость, свойство дедуктивной теории (или системы аксиом , посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие-либо два предложения А и Ø А, каждое из которых является отрицанием другого. Для широкого класса формальных теорий, включающих аксиому А & Ø А É В («из противоречия следует любое утверждение»), Н. равносильна существованию в данной теории хотя бы одного недоказуемого предложения.

  Н., необходимая для того чтобы система могла рассматриваться как описание некоторой «содержательной ситуации», отнюдь не гарантирует существования такой ситуации. Впрочем, для любой непротиворечивой системы аксиом в каждом случае могут быть указаны абстрактные модели; поэтому для представителей «классических» направлений в основаниях математики и логики (и тем более для представителей моделей теории ) Н. служит если и не обоснованием «существования» описываемых аксиомами совокупностей абстрактных объектов, то, по крайней мере, достаточным основанием для содержательного рассмотрения и изучения таких объектов. Поскольку описываемая теорией «ситуация» лежит вне самой теории, данное выше понятие Н., которое можно назвать «внутренней» (иначе —синтаксической, или логической) Н., тесно связано с так называемой «внешней» (семантической) Н., заключающейся в недоказуемости в данной теории никакого предложения, противоречащего (в обычном содержательном смысле) фактам описываемой ею «действительности». Несмотря на эту связь, синтаксическая и семантическая Н. равносильны лишь для таких «бедных» логических теорий, как, например, исчисление высказываний (см. Логика высказываний ); вообще же говоря, внутренняя Н. сильнее внешней. Роль отображаемой какой-либо конкретной теорией «действительности» может играть и некоторая другая дедуктивная теория, так что внешнюю Н. исходной теории можно понимать как её относительную Н., а указание системы соответствующих семантических правил перевода понятий, выражений и утверждений из второй теории в первую, дающее интерпретацию (модель) исходной теории, оказывается для неё доказательством относительной Н.

  В классической математике источником построения моделей для таких доказательств служит в конечном счёте множеств теория . Однако обнаружение в теории множеств парадоксов (антиномий) обусловило потребность поиска новых, принципиально отличных от метода интерпретаций, методов доказательства Н., — в некотором смысле «абсолютных». (Такая потребность возникает и в силу несовпадения понятий внутренней и внешней Н.) Можно избрать и промежуточный путь, требуя абсолютное доказательство Н. только для аксиоматической теории множеств (к которой уже можно было бы сводить проблемы Н. конкретных математических теорий чисто теоретико-модельными средствами) или даже хотя бы для такого относительно простого её фрагмента, как формализованная арифметика натуральных чисел, так как средствами последней строится теоретико-множественный «универсум» (предметная область) основных разделов классической математики. Такой путь и избрал Д. Гильберт , предложивший широкую программу, в ходе выполнения которой обосновываемые теории, прежде всего, подвергались бы формализации , а полученные формальные системы (исчисления) исследовались бы на предмет их синтаксической Н. так называемыми финитными (т. е. содержательными, но не использующими сомнительных теоретико-множественных абстракций) средствами. Такие абсолютные доказательства Н. составили основное содержание развиваемой школой Гильберта метаматематики (теории доказательства). Но уже в 1931 К. Гёдель доказал принципиальную невыполнимость гильбертовой программы, а тем самым и ограниченность аксиоматического метода, в рамках которого для достаточно богатых формальных теорий требования Н. и полноты оказываются несовместимыми (подробнее см. Аксиоматический метод ). Что же касается содержательных дедуктивных теорий (в том числе и математических), по отношению к которым требование полноты теряет смысл, то для них Н. по-прежнему остаётся важнейшим необходимым критерием осмысленности и практической приложимости.

  Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.). См. также лит. при статьях Аксиоматический метод , Метаматематика .

  Ю. А. Гастев.

Непроходимость кишечника

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

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

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

  Лит.: Комаров Ф. И., Лисовский В. А., Борисов В. Г., Острый живот и желудочно-кишечные кровотечения в практике терапевта и хирурга, Л, 1971 (лит.).

  К. С. Симонян.

«Непсабадшаг»

«Не'псабадшаг» («Népszabadság» — «Народная свобода»), ежедневная газета, центральный орган Венгерской социалистической рабочей партии . Основана 1 февраля 1942 как орган Коммунистической партии Венгрии; в 1948—56 — орган Венгерской партии трудящихся. До 1956 называлась «Сабад неп» («Szabad Nep»). Издаётся в Будапеште на венгерском языке. Тираж (1973) около 800 тыс. экз.

Нептун (мифологич.)

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

  В переносном значении Н. — морская стихия.

Нептун (планета)

Непту'н, восьмая по порядку от Солнца большая планета Солнечной системы, астрономический знак  или . Открыта в 1846. Среднее расстояние до Солнца (большая полуось орбиты) 30.06 а. е., или 4500 млн. км. Эксцентриситет орбиты 0,0086, наклон к плоскости эклиптики 1°46,4'. Полный оборот вокруг Солнца (сидерический период обращения) Н. совершает за 164,79 года со средней скоростью движения по орбите 5,4 км/сек. Выглядит на небе как (недоступная невооружённому глазу) звезда 7,8 звёздной величины с угловым поперечником, изменяющимся от 2,2” до 2,4”. При сильном увеличении имеет вид зеленоватого диска, лишённого всяких деталей. Диаметр Н. превосходит экваториальный диаметр Земли в 3,88 раза и составляет 49 500 км. Сжатие оценивается величиной 1 /60 . Объём Н. в 57 раз больше объёма Земли. Масса составляет 17,28 массы Земли (1,03×1026 кг ), средняя плотность 1,84 г/см3 . Ускорение силы тяжести на поверхности Н. около 11 м/сек2 (на 15% больше, чем на Земле), 2-я космическая скорость у поверхности Н. 23 км/сек. Период вращения около оси 15,8 ч. Наклон экватора Н. к плоскости орбиты 29°. Н. имеет два спутника, из которых один, Тритон , открытый в 1846 У. Ласселлом , имеет сравнительно крупные размеры (диаметр около 4000 км ) и обратное движение по своей орбите с периодом около 5,9 сут. Второй спутник, Нереида , открытый в 1949 американским астрономом Дж. П. Койпером, представляет собой маленькое тело (диаметром 300 км ), обращающееся вокруг планеты с периодом около года (360 сут ).