НЕСОВМЕСТИМОСТЬ

НЕСОВМЕСТИМОСТЬ

- свойство формальной системы, противоположное свойству непротиворечивости:формальная система наз. несовместимой, или несовместной, если она не является непротиворечивой. Если нек-рый класс формул в языке данной формальной системы не является непротиворечивым, то говорят, что он несовместим с данной формальной системой. В частности, если класс, состоящий из одной формулы, несовместим с формальной системой, эта формула наз. несовместимой с данной системой. Н. формулы означает, что если ее включить в множество аксиом, то получится несовместимая формальная система.

Несовместимые формальные системы не имеют содержательной интерпретации.

Обнаружение Н. отрицания нек-рой формулы с данной формальной системой составляет т. н. метод доказательства от противного: для широкого класса формальных систем из Н. формулы j следует выводимость ее отрицания.

В. Е. Шиско.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Игры ⚽ Поможем написать курсовую
Синонимы:

Антонимы:

Смотреть что такое "НЕСОВМЕСТИМОСТЬ" в других словарях:

  • несовместимость — несовместимость …   Орфографический словарь-справочник

  • несовместимость — несовместность, противоречивость, несовпадение, несоответствие; гистонесовместимость, разнонаправленность, взаимоисключение, несоединимость. Ant. совместимость, совместность, непротиворечивость, соответствие Словарь русских синонимов.… …   Словарь синонимов

  • Несовместимость — (в ботанике) контролируемая генетическими факторами неспособность пыльцевых трубок прорастать в столбике и совершать оплодотворение. Различают гаметофитную, спорофитную и гетероморфную несовместимость[1]. Примечания ↑ Самигуллина Н. С. Практикум… …   Википедия

  • НЕСОВМЕСТИМОСТЬ — (лат. incompatibili tas), термин, обозначающий различные свойства лекарственных веществ, исключающие совместное их употребление в одной лекарственной комбинации (смесь, раствор). Н.чаще всего понимается как установленное хим. взаимодействие… …   Большая медицинская энциклопедия

  • НЕСОВМЕСТИМОСТЬ — (депутатского мандата) в конституционном праве норма, запрещающая депутату парламента (другого представительного органа) в течение срока осуществления своих полномочий занимать определенные должности или заниматься определенной профессиональной… …   Юридический словарь

  • НЕСОВМЕСТИМОСТЬ — НЕСОВМЕСТИМОСТЬ, несовместимости, мн. нет, жен. (книжн.). отвлеч. сущ. к несовместимый. Несовместимостъ должностей (невозможность совмещать несколько каких нибудь должностей). Толковый словарь Ушакова. Д.Н. Ушаков. 1935 1940 …   Толковый словарь Ушакова

  • несовместимость — НЕСОВМЕСТИМЫЙ, ая, ое; им. Такой, к рый не может существовать рядом, совместно, одновременно с кем чем н. Несовместимые понятия. Несовместимые характеры. Толковый словарь Ожегова. С.И. Ожегов, Н.Ю. Шведова. 1949 1992 …   Толковый словарь Ожегова

  • НЕСОВМЕСТИМОСТЬ — (incompatibility) Неспособность какого то компьютера работать с данными и с программами, созданными для компьютера другого типа. См.: совместимость (compatibility). Бизнес. Толковый словарь. М.: ИНФРА М , Издательство Весь Мир . Грэхэм Бетс,… …   Словарь бизнес-терминов

  • несовместимость — несовместимый (Ср. compatible) [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом Синонимы несовместимый EN incompatibilityincompatible …   Справочник технического переводчика

  • Несовместимость — * несумяшчальнасць * incompatibility 1. В генетике неспособность нормальных гамет двух особей образовать зиготу. 2. В иммунологии обозначение генетических или антигенных различий между донором и реципиентом тканей, которые проявляются в реакции… …   Генетика. Энциклопедический словарь

  • несовместимость — ▲ невозможность ↑ совместимый несовместимость невозможность совместимости вследствие несогласованности. несовместность. несовместный. нарушить (# красоту). ↓ противопоказание. противопоказанный. или (только), взаимодействие …   Идеографический словарь русского языка


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»