- теорема о неразрешимости
- мат. undecidability theorem
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ТЕОРЕМА — (от греч. theoreo – рассматриваю) научное положение. Философский энциклопедический словарь. 2010. ТЕОРЕМА (греч. ϑεώρημα, от ϑεωρέω – рассматриваю, исследу … Философская энциклопедия
НЕРАЗРЕШИМОСТИ — термин, используемый Деррида для критики фундаментальных философских основоположений. Деррида заимствовал этот термин из работы К. Геделя по метаматематике. Философия, или метафизика присутствия, строится на предположении о ряде формально… … Современный философский словарь
Великая теорема Ферма — Издание 1670 года «Арифметики» Диофанта включает комментарий Ферма, в частности его «последнюю теорему» (Observatio Domini Petri de Fermat). Великая теорема Ферма … Википедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
Десятая проблема Гильберта — Десятая проблема Гильберта одна из 23 задач, которые Давид Гильберт предложил 8 августа 1900 года на II Международном конгрессе математиков. Она состоит в нахождении универсального метода целочисленного решения произвольного алгебраического … Википедия
Математика — I. Определение предмета математики, связь с другими науками и техникой. Математика (греч. mathematike, от máthema знание, наука), наука о количественных отношениях и пространственных формах действительного мира. «Чистая … Большая советская энциклопедия
Константа Чейтина — Эта статья или секция грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть генерирован программой переводчиком или человеком со слабыми познаниями в языке статьи оригинала Пожалуйста, не поленитесь улучшить перевод.… … Википедия
Константа Хайтина — Эта статья или раздел грубый перевод статьи на другом языке (см. Проверка переводов). Он мог быть сгенерирован программой переводчиком или сделан человеком со слабыми познаниями в языке оригинала. Вы можете помочь … Википедия
СРАВНЕНИЕ — соотношение между целыми числами а и и вида a=b+mk, означающее, что их разность а b делится на заданное целое положительное число т, наз. модулем сравнения; при этом аназ. вычетом целого числа bпо модулю т. Для выражения сравнимости чисел аи bпо… … Математическая энциклопедия
Дифференциал — (Differential) Определение дифферинциала, дифферинциал функции, блокировка дифферинциала Информация об определении дифферинциала, дифферинциал функции, блокировка дифферинциала Содержание Содержание математический Неформальное описание… … Энциклопедия инвестора
Метатеорема — (от Мета... теорема относительно объектов (понятий, определений, аксиом, доказательств, правил вывода, теорем и др.) какой либо научной теории (т. н. предметной, или объектной, теории), доказываемая средствами метатеории (См. Метатеория)… … Большая советская энциклопедия