- недоказуемость
- недоказ'уемость, -и
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
Русский орфографический словарь. / Российская академия наук. Ин-т рус. яз. им. В. В. Виноградова. — М.: "Азбуковник". В. В. Лопатин (ответственный редактор), Б. З. Букчина, Н. А. Еськова и др.. 1999.
недоказуемость — недоказуемость … Орфографический словарь-справочник
недоказуемость бытия НЛО — Эта недоказуемость подсказана Иммануилом Кантом, который еще в XVIII в. логически обосновал невозможность доказательства бытия Бога. Поскольку Бог есть бесконечно разумное существо, то при желании он способен оставаться ненаблюдаемым. E.… … Толковый уфологический словарь с эквивалентами на английском и немецком языках
Недоказуемость — ж. отвлеч. сущ. по прил. недоказуемый Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 … Современный толковый словарь русского языка Ефремовой
недоказуемость — недоказуемость, недоказуемости, недоказуемости, недоказуемостей, недоказуемости, недоказуемостям, недоказуемость, недоказуемости, недоказуемостью, недоказуемостями, недоказуемости, недоказуемостях (Источник: «Полная акцентуированная парадигма по… … Формы слов
недоказуемость — см. недоказуемый; и; ж. Недоказу/емость вины, преступления, ошибки … Словарь многих выражений
Метаматематика — теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… … Большая советская энциклопедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… … Философская энциклопедия
НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как … Философская энциклопедия
КОНТИНУУМ-ГИПОТЕЗА — гипотеза Г. Кантора (G. Cantor, 1878), состоящая в том, что всякое бесконечное подмножество континуума R равномощно либо множеству натуральных чисел, либо R. Эквивалентная формулировка (при наличии выбора аксиомы): (см. Алефы). Обобщение этого… … Математическая энциклопедия