Что такое Полнота? Значение и толкование слова polnota, определение термина
Полнота - (в логике и дедуктивных науках) — логико-методологическое требование, предъявляемое к аксиоматической теории и характеризующее достаточность для определенных целей ее выразительных и дедуктивных средств. Аксиоматическая система является полной, если все ее формулы, истинные при рассматриваемой интерпретации, доказуемы. Полная система содержит все возможные теоремы, не противоречащие интерпретации. Для уточнения семантического понимания П. может быть выдвинуто требование, чтобы либо само предложение, либо его отрицание было теоремой, т. е. чтобы предложение было или доказуемо, или опровержимо. А 1931 г. К. Гёдель показал, что достаточно богатые аксиоматические системы (включающие арифметику натуральных чисел) в принципе не могут быть полными: в них имеются предложения, которые не могут быть ни доказаны ни опровергнуты. Требование П. не является необходимым; неполные аксиоматические системы могут представлять и теоретический, и практический интерес.
Посмотреть значение слова Полнота в других словарях:
Что означает термин полнота?Большой бухгалтерский словарьТолкование слова ПолнотаСоциологический словарьЧто такое Полнота?Энциклопедический словарьВозможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:
Понимание - — универсальная операция мышления, связанная с усвоением нового содержания, включением его в...Понятие - - общее имя, имеющее относительно ясное и устойчивое содержание и сравнительно четко очерченный...Порочный Круг - — логическая ошибка в определении понятий и в доказательстве, суть которой заключается в том,...После Этого Значит По Причине Этого - (лат. post hoc ergo propter hoc) — логическая ошибка, заключающаяся в том, что простую...Поспешное Обобщение - — логическая ошибка в индуктивном выводе. Суть ее заключается в том, что, рассмотрев несколько...Правило Вывода - — правило, определяющее переход от посылок к следствиям. П. в. указывает, каким образом...Правило Локка - — правило, формулируемое так: если некоторое свойство A принадлежит любому, но фиксированному...Правило Отделения - см.: Модус поненс.Прагматика - — раздел семиотики, изучающий отношения между знаковыми системами и теми, кто воспринимает,...Превращение - (лат. obversio) в традиционной логике — вид непосредственного умозаключения, характеризующегося...