Повнота - енциклопедії & словники

ж. 1) Наповненість, достатню наявність чогось л. 2) а) Повна міра, повний склад, гранична кількість. б) Вичерпаність, грунтовність. в) Насиченість, змістовність. 3) перен. Вища ступінь чого-л. 4) Тучність, товщина тіла.

ПОВНОТА - в логіці і математиці - достатність виразних або дедуктивних засобів будь-якої наукової теорії або обчислення для опису (характеристики, передбачення, виведення) всіх реальних властивостей і відносин передбачуваної моделі цієї теорії або обчислення.

1. Наявність чогось л. в достатній мірі, вищий ступінь прояву чогось л. насиченості чимось л. П. влади, відповідальності, прав.П. життя, щастя, почуттів, сіл.П. відповіді, тексту, колекції, ісследованія.Обнаружіть вичерпну повноту в підборі фактов.Необикновенная п. знаній.Сердечная, душевна п. (надлишок почуттів). Від (всієї) повноти душі, серця, почуттів (від надміру почуттів). У всій (його, своєю і т.п.) повноті, з усією повнотою (в повну силу, цілком).

2. Тучність, вгодованість (про людину). П. особи, рук, ног.Ізлішняя, нездорова, привабливий.

Повнота в логіці і математиці - достатність виразних або дедуктивних засобів будь-якої наукової теорії або обчислення для опису (характеристики, передбачення, виведення) всіх реальних властивостей і відносин передбачуваної моделі цієї теорії або обчислення.

-и, ж. 1. Наявність чого-н. в достатній мірі, вищий ступінь насиченості чимось н. П. влади. Вичерпна п. В підборі фактів. Від повноти почуттів або від повноти душі (від надлишку почуттів, як би наповнюють всю людину). 2. Про людину: огрядність, вгодованість. Нездорова п. 3. (мн. Повноти, -від, -отам). Одиниця виміру всередині одного розміру (одягу, взуття). Велика, середня п. Колодки підвищених повноти.

Від повноти душі (серця) .Разг. Від надміру почуттів. ФСРЯ, 338.

властивість наукової теорії, що характеризує достатність для будь-яких конкретних цілей її виразних і (або) дедуктивних засобів.

Один з аспектів поняття П. - т. Зв. функціональна П. (ф. п.) - стосовно до природної мови є те (неформальне) його якість, завдяки якому на ньому можна сформулювати будь осмислене повідомлення, що може знадобитися для тих чи інших цілей. Наприклад, англійська мова функціонально повний з точки зору цілей, які мав на увазі В. Шекспір, створюючи «Гамлета» (якщо виходити з припущення, що йому вдалося повністю реалізувати свій задум). Але і будь-який інший з «живих» мов, на який «Гамлет» переведений, сповнений в тому ж сенсі: переклад якраз і є свідченням цієї ф. п.

1. наявність чого-небудь в достатній мірі, вищий ступінь насиченості чимось; 2. одиниця виміру всередині одного розміру (одягу, взуття).

в топології - властивість простору, що полягає в збіжності послідовностей, спрямувань або сімейств множин, підпорядкованих умові Коші або його узагальнень (див. Повний простір). А. В. Ніжин.

Математична енциклопедія. - М. Радянська енциклопедія І. М. Виноградов 1977-1985

(Логічний. І матем.), Достатність висловить. або дедуктивних засобів до.-л. науч. теорії або обчислення для опису (характеристики, передбачення, виведення) всіх реальних властивостей і щодо передбачуваної моделі цієї теорії або обчислення.

Природознавство. енциклопедичний словник

- англ. plenitude / completeness; ньому. Fulle / Vollstandigkeit. Властивість формальних систем, що характеризує достатність для до.-л. визначених цілей.

(В логіці і дедуктивних науках) - логіко-методо-логічне вимога до аксіоматичної теорії і характеризує достатність для певних цілей її вислови-них і дедуктивних засобів. Аксіоматична система є повною, якщо все її формули, справжні при розглянутої інтер-претаціі, доказові. Повна система містить всі можливі тео-реми, що не суперечать інтерпретації. Для уточнення семантем-чеського розуміння П. може бути висунута вимога, щоб або сама пропозиція, або його заперечення було теоремою, т. Е. Щоб пропозиція була або доказовою, або спростовно. А 1931 К. Гедель показав, що досить багаті аксіоматічес-кі системи (які включають арифметику натуральних чисел) в прин-ципе не можуть бути повними: в них є пропозиції, які не можуть бути ні доведені ні спростовані. Вимога П. не є необхідним; неповні аксіоматі-етичні системи можуть представляти і теоретичний, і практичес-кий інтерес.

в логіці і дедуктивних науках, властивість аксіоматіч. теорії, що характеризує достатність для до.-л. потужність. цілей її висловить. і дедуктивних засобів. Аксіоматіч. система зв. дедуктивно повною по відношенню до даної інтерпретації, якщо всі її формули, справжні при даній інтерпретації, доказові в ній. Таке поняття П. пов'язано з поняттям істинності і носить семантич. (Містять.) Характер. Поняття П. у вузькому сенсі носить синтаксич. (Формальний) характер і визначається як неможливість приєднання до системи.