Полнота – (в логике и дедуктивных науках) — логико-методологическое требование, предъявляемое к аксиоматической теории и характеризующее достаточность для определенных целей ее выразительных и дедуктивных средств. Аксиоматическая система является полной, если все ее формулы, истинные при рассматриваемой интерпретации, доказуемы. Полная система содержит все возможные теоремы, не противоречащие интерпретации. Для уточнения семантического понимания П. может быть выдвинуто требование, чтобы либо само предложение, либо его отрицание было теоремой, т. е. чтобы предложение было или доказуемо, или опровержимо. А 1931 г. К. Гёдель показал, что достаточно богатые аксиоматические системы (включающие арифметику натуральных чисел) в принципе не могут быть полными: в них имеются предложения, которые не могут быть ни доказаны ни опровергнуты. Требование П. не является необходимым; неполные аксиоматические системы могут представлять и теоретический, и практический интерес.
Что такое Полнота? Значение слова polnota, словарь логики
Значение слова «Полнота» в Словаре логики. Что такое полнота? Узнайте, что означает слово polnota - толкование слова, обозначение слова, определение термина, его лексический смысл и описание.
Полнота
Поделиться с друзьями:
Постоянная ссылка на страницу:
Ссылка для сайта/блога:
Ссылка для форума (BB-код):
«Полнота» в других словарях:
Полнота
- В логике и математике - достаточность выразительных илидедуктивных средств какой-либо научной теории или исчисления для описания(х...
Полнота
- Тучность, упитанность. и еще 2 определения
Полнота
- - англ. plenitude/completeness; нем. Fulle/Vollstandigkeit. Свойство формальных систем, характеризующее достаточность для к.-л....
полнота
- - 1. наличие чего-нибудь в достаточной степени, высшая степень насыщенности чем-нибудь; 2. единица измерения внутри одного размера...
полнота
- ПОЛНОТ'А , полноты, мн. нет, ·жен. 1. Состояние чего-нибудь наполненного совершенно, до краев ( ·редк. ). "До пол...