ФОРМАЛЬНЫХ СИСТЕМ ЭКВИВАЛЕНТНОСТЬ
- ФОРМАЛЬНЫХ СИСТЕМ ЭКВИВАЛЕНТНОСТЬ
отношение между формальными системами, состоящее в том, что множества выражений, выводимых в этих системах совпадают. Точнее, две формальные системы S1 и S2 эквивалентны тогдн и только тогда, когда Выполняются следующие условия: 1) всякая аксиома системы S1 выводима в системе S2; 2) всякая аксиома системы S2 выводима в системе S1; 3) если выражение Внепосредственно следует из выражений A1, . . ., А п в силу одного из правил вывода системы S1 и выражения A1, .... An выводимы в системе S2, то Втакже выводимо в системе S2; 4) аналогично 3) с заменой S1 на S2 и S2 на S1.
B. Е. Плиско.
Математическая энциклопедия. — М.: Советская энциклопедия.
И. М. Виноградов.
1977—1985.
Смотреть что такое "ФОРМАЛЬНЫХ СИСТЕМ ЭКВИВАЛЕНТНОСТЬ" в других словарях:
ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… … Философская энциклопедия
Автоматов теория — часть теоретической кибернетики (См. Кибернетика), объектом исследования которой являются различные преобразователи дискретной информации; возникла в начале 50 х гг. 20 в. в связи с требованиями практики проектирования вычислительных… … Большая советская энциклопедия
КОНСТРУКТИВНАЯ ЛОГИКА — раздел математической логики, изучающий рассуждения о конструктивных объектах и конструкциях. При таком понимании К. л. шире, чем логика конструктивной математики. Самое заметное отличие от традиционной (классической) логики состоит в отсутствии… … Математическая энциклопедия
ЛЕСЬНЕВСКИЙ — (Leśniewski), Станислав (18 марта 1886 – 13 мая 1939) – польский логик, проф. Варшавского ун та (с 1919). Большое внимание Л. уделял вопросам, связанным с логич. парадоксами. Разработанная им теория семантич. категорий близка к типов теории… … Философская энциклопедия
АЛГОРИТМ — [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… … Философская энциклопедия
РЕКУРСИВНЫЕ ФУНКЦИИ И ПРЕДИКАТЫ — один из важнейших для оснований математики и математич. логики классов понятий, служащих уточнениями содержат. понятий эффективно вычислимой арифметической функции и эффективно разрешимого арифметического предиката, а в конечном счете, – и… … Философская энциклопедия
КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… … Физическая энциклопедия
Операциональное преобразование — Эта статья включает материал из этой версии соответствующей статьи английской Википедии. Операциональное преобразование (ОП) представляет собой технологию для поддержки целого ряда функциональных возможностей сотрудничества в передовых системах… … Википедия
КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… … История Философии: Энциклопедия
ЭКВИВАЛЕНТНЫЕ ПРЕОБРАЗОВАНИЯ — управ ляющих систем преобразования, сохраняющие отношение эквивалентности (о. э.) управляющих систем (у. с.). Используются в задачах оптимизации, контроля, а также как средство характеризации (напр., аксиоматизации) определенных классов у. с.;… … Математическая энциклопедия