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