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