Несовместимость

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

Источник: Математическая энциклопедия на Gufo.me


Значения в других словарях

  1. несовместимость — Не/совмест/и́м/ость/. Морфемно-орфографический словарь
  2. несовместимость — (депутатского мандата) — в конституционном праве норма... Большой юридический словарь
  3. несовместимость — в риторике: один из топов соположения, основанный на противопоставлении высказываний или действий; несовместимость содержания приводит к необходимости выбора или к отвержению обоих термов. Словарь лингвистических терминов Жеребило
  4. несовместимость — -и, ж. Свойство по знач. прил. несовместимый. Несовместимость понятий. Психологическая несовместимость. □ Проблема тканевой несовместимости при трансплантации сердца оказалась более сложной и трудно разрешимой, нежели при пересадках почек. Кованов, Призвание. Малый академический словарь
  5. несовместимость — • абсолютная ~ Словарь русской идиоматики
  6. несовместимость — НЕСОВМЕСТИМОСТЬ — контролируемая генетическими факторами неспособность пыльцевых трубок прорастать в столбик и совершать оплодотворение. Ботаника. Словарь терминов
  7. несовместимость — НЕСОВМЕСТ’ИМОСТЬ, несовместимости, мн. нет, ·жен. (·книж. ). ·отвлеч. сущ. к несовместимый. Несовместимостъ должностей (невозможность совмещать несколько каких-нибудь должностей). Толковый словарь Ушакова
  8. несовместимость — сущ., кол-во синонимов: 7 взаимоисключение 2 гистонесовместимость 1 несовместность 4 несоединимость 3 противоположность 17 разнонаправленность 3 самонесовместимость 1 Словарь синонимов русского языка
  9. несовместимость — орф. несовместимость*, -и Орфографический словарь Лопатина
  10. несовместимость — несовместимость ж. Отвлеч. сущ. по прил. несовместимый Толковый словарь Ефремовой
  11. несовместимость — Несовместимость, несовместимости, несовместимости, несовместимостей, несовместимости, несовместимостям, несовместимость, несовместимости, несовместимостью, несовместимостями, несовместимости, несовместимостях Грамматический словарь Зализняка
  12. несовместимость — См. несовместный Толковый словарь Даля