разрешимость
71ЖЕГАЛКИН — Иван Иванович (род. 1869 – ум. 1947) – рус. логик и математик, один из создателей школы математической логики. Построил логику высказываний в виде арифметики двух чисел – нуля («четное») и единицы («нечетное»), в которой в отличие от обычного… …
72АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …
73ПОЛНОТА — в логике и дедуктивных науках, свойство аксиоматич. теории, характеризующее достаточность для к. л. определ. целей её выразит. и дедуктивных средств. Аксиоматич. система наз. дедуктивно полной по отношению к данной интерпретации, если все …
74ЛЁВЕНХЕЙМ — (Löwenheim), Леопольд (1878–1940) – нем. логик и математик. Осн. работы Л. посвящены исследованию разрешения проблемы для узкого предикатов исчисления. Он доказал, что решение этой проблемы в общем случае сводится к ее решению для случая, когда… …
75РАЗРЕШИМОЕ И ПЕРЕЧИСЛИМОЕ МНОЖЕСТВА — осн. понятия теории алгоритмов и теории рекурсивных функций (и предикатов). (Определение этих понятий на основе понятия алгоритма см. в ст. Алгоритм, раздел Основные понятия теории А.) Простейшим примером разрешимого множества может служить… …
76РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… …
77ОТНОСИТЕЛЬНОСТИ ТЕОРИЯ — физическая теория, рассматривающая пространственно временные закономерности, справедливые для любых физ. процессов. Универсальность пространственно временных св в, рассматриваемых О. т., позволяет говорить о них просто как о .св вах пространства… …
78АБЕЛЕВА ГРУППА — разрешимости алгебраич. уравнений в радикалах. Обычно для обозначения операции в А. г. используется аддитивная запись, т. е. знак + для самой операции, наз. сложением, знак 0 для нейтрального элемента, наз. нулем (в мультипликативной записи он… …
79АВТОМАТОВ ТЕОРИЯ — раздел теории управляющих систем, изучающий математич. модели преобразователей дискретной информации, называемые автоматами. С определенной точки зрения такими преобразователями являются как реальные устройства (вычислительные машины, автоматы,… …
80АЛГЕБРАИЧЕСКАЯ ГЕОМЕТРИЯ — раздел математики, изучающий геометрич. объекты, связанные с коммутативными кольцами: алгебраические многообразия и их различные обобщения ( схемы, алгебраические пространства и др.). В наивной формулировке предмет А. г. составляет изучение… …
