недоказуемость

f. unprovability

Русско-английский словарь математических терминов. — Американское математическое общество. . 1990.

Смотреть что такое "недоказуемость" в других словарях:

  • недоказуемость — недоказуемость …   Орфографический словарь-справочник

  • Недоказуемость — ж. отвлеч. сущ. по прил. недоказуемый Толковый словарь Ефремовой. Т. Ф. Ефремова. 2000 …   Современный толковый словарь русского языка Ефремовой

  • недоказуемость — недоказуемость, недоказуемости, недоказуемости, недоказуемостей, недоказуемости, недоказуемостям, недоказуемость, недоказуемости, недоказуемостью, недоказуемостями, недоказуемости, недоказуемостях (Источник: «Полная акцентуированная парадигма по… …   Формы слов

  • недоказуемость — недоказ уемость, и …   Русский орфографический словарь

  • недоказуемость — см. недоказуемый; и; ж. Недоказу/емость вины, преступления, ошибки …   Словарь многих выражений

  • недоказуемость бытия НЛО — Эта недоказуемость подсказана Иммануилом Кантом, который еще в XVIII в. логически обосновал невозможность доказательства бытия Бога. Поскольку Бог есть бесконечно разумное существо, то при желании он способен оставаться ненаблюдаемым. E.… …   Толковый уфологический словарь с эквивалентами на английском и немецком языках

  • Метаматематика —         теория доказательств, теория доказательства, в широком смысле слова Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М.… …   Большая советская энциклопедия

  • МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И …   Философская энциклопедия

  • ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

  • НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как …   Философская энциклопедия

  • КОНТИНУУМ-ГИПОТЕЗА — гипотеза Г. Кантора (G. Cantor, 1878), состоящая в том, что всякое бесконечное подмножество континуума R равномощно либо множеству натуральных чисел, либо R. Эквивалентная формулировка (при наличии выбора аксиомы): (см. Алефы). Обобщение этого… …   Математическая энциклопедия

Книги

Другие книги по запросу «недоказуемость» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.