НЕСОВМЕСТИ́МЫЙ, -ая, -ое; -и́м. Такой, к-рый не может существовать рядом, совместно, одновременно с кем-чем-н. Несовместимые понятия. Несовместимые характеры.
-и, ж.
Свойство по знач. прил. несовместимый.
Несовместимость понятий. Психологическая несовместимость.
□
Проблема тканевой несовместимости при трансплантации сердца оказалась более сложной и трудно разрешимой, нежели при пересадках почек. Кованов, Призвание.
НЕСОВМЕСТИ́МОСТЬ, несовместимости, мн. нет, жен. (книжн.). отвлеч. сущ. к несовместимый. Несовместимостъ должностей (невозможность совмещать несколько каких-нибудь должностей).
ж.
отвлеч. сущ. по прил. несовместимый
жен. incompatibilityнесовместим|ость - ж. incompatibility;
~ тканей мед. incompatibility of tissues;
~ый incompatible;
~ые понятия incompatible ideas.
incompatibility
f.incompatibility, inconsistency
ж
Unvereinbarkeit f; Unverträglichkeit f(напр. о людях); юр., мед., вчт. Inkompatibilität f
несовместимость ж Unvereinbarkeit f; Unverträglichkeit f (напр. о людях); юр., мед., вчт. Inkompatibilität f
ж.
incompatibilité f
несовместимость тканей мед. — incompatibilité tissulaire
психологическая несовместимость — incompatibilité psychologique
ж.
incompatibilidad f
несовмести́мость хара́ктеров — incompatibilidad de caracteres
ж.
incompatibilità тж. биол., спец.
不符
- свойство формальной системы, противоположное свойству непротиворечивости:формальная система наз. несовместимой, или несовместной, если она не является непротиворечивой. Если нек-рый класс формул в языке данной формальной системы не является непротиворечивым, то говорят, что он несовместим с данной формальной системой. В частности, если класс, состоящий из одной формулы, несовместим с формальной системой, эта формула наз. несовместимой с данной системой. Н. формулы означает, что если ее включить в множество аксиом, то получится несовместимая формальная система.
Несовместимые формальные системы не имеют содержательной интерпретации.
Обнаружение Н. отрицания нек-рой формулы с данной формальной системой составляет т. н. метод доказательства от противного: для широкого класса формальных систем из Н. формулы j следует выводимость ее отрицания.
В. Е. Шиско.
incompatibility
* * *
несовмести́мость ж.incompatibility
ж.
incompatibilità f
матем., физ.
несумі́сність, -ності
матем., физ.
несумі́сність, -ності