неразрешимая
1НЕРАЗРЕШИМАЯ — задача, не разрешаемая, не могущая быть решена. Неразрешимый грех, непрощеный, слишком тяжкий. мость жен. качество, состояние ·по·прилаг. Толковый словарь Даля. В.И. Даль. 1863 1866 …
2НЕРАЗРЕШИМАЯ ФОРМУЛА — формула к. л. (логико математического) исчисления, одновре менно не доказуемая и не опровержимая средствами этого исчисления. (Соответственно формула, доказуемая или опровержимая в исчислении, наз. разрешимой в нем.) Термин Н. ф. прилагается, как …
3неразрешимая проблема — — [А.С.Гольдберг. Англо русский энергетический словарь. 2006 г.] Тематики энергетика в целом EN irresoluble problem …
4СУЩЕСТВЕННО НЕРАЗРЕШИМАЯ ТЕОРИЯ — алгоритмически неразрешимая логическая теория, все непротиворечивые расширений к рой также неразрешимы (см. Неразрешимость). Элементарная теория является С. н. т. тогда и только тогда, когда всякая ее модель имеет неразрешимую элементарную теорию …
5Алгоритмически неразрешимая задача — В теории вычислимости алгоритмически неразрешимой задачей называется задача, имеющая ответ да или нет для каждого объекта из некоторого множества входных данных, для которой (принципиально) не существует алгоритма, который бы, получив любой… …
6КВАДРАТУРА КРУГА — Площадь четырехугольника, равная площади данного круга, задача неразрешимая; отсюда, вообще все невозможное. Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней. Михельсон А.Д., 1865. КВАДРАТУРА КРУГА …
7ЛАМПРЕХТ — (Lamprecht) Карл (1856 1915) нем. историк. С 1882 приват доцент в Бонне, позже проф. в Марбурге, с 1891 в Лейпциге. Нем. истор. наука 18 и почти всего 19 в. была полит. и индивидуалистской, т.е. изучала отд. человека как… …
8КВАДРАТУРА — КВАДРАТУРА, ы, жен. В математике: вычисление площади или поверхности фигуры. • Квадратура круга неразрешимая задача построения при помощи циркуля и линейки квадрата, равного по площади данному кругу; вообще неразрешимая задача. Толковый словарь… …
9АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
10апория — и; ж. [греч. aporia безвыходность]. В античной философии: логическое затруднение, противоречие, которое обусловлено содержащимся утвержением против очевидного, общепринятого. * * * апория (греч. aporía, буквально безвыходность), трудная или… …
