Примеры статей
Логика
Логика (греч. logik ), наука о приемлемых способах рассуждения. Слово "Л." в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. logos, от которого…
Непротиворечивость
Непротиворечивость, совместимость, свойство дедуктивной теории (или системы аксиом, посредством которых теория задаётся), состоящее в том, что из неё нельзя вывести противоречие, т. е. какие-либо два…
Исчисление
Исчисление, основанный на чётко сформулированных правилах формальный аппарат оперирования со знаками определённого вида, позволяющий дать исчерпывающе точное описание некоторого класса задач, а для…
Полнота
Полнота, свойство научной теории, характеризующее достаточность для каких-либо определённых целей её выразительных и (или) дедуктивных средств. Один из аспектов понятия П. - т. н. функциональная П. (…
Многозначная логика
Многозначная логика, раздел математической логики, изучающий математические модели логики высказываний. Эти модели отражают две основные черты последней - множественность значений истинности…
Тьюринг Алан Матисон
Тьюринг (Turing) Алан Матисон (23.6.1912, Лондон, - 7.6.1954, Уилмслоу, близ Манчестера), английский математик. Член Королевского общества (1951). По окончании Кембриджского университета (1935)…
Алгоритм
Алгоритм, алгорифм, одно из основных понятий (категорий) математики, не обладающих формальным определением в терминах более простых понятий, а абстрагируемых непосредственно из опыта. А. являются…
Марков Андрей Андреевич (советский математик)
Марков Андрей Андреевич [родился 9(22).9.1903, Петербург], советский математик член-корреспондент АН СССР (1953). Член КПСС с 1953. Сын русского математика А. А. Маркова. Окончил Ленинградский…
Пост Эмиль Леон
Пост (Post) Эмиль Леон (11.2.1897, Августов, Польша, — 21.4,1954, Нью-Йорк), американский математик и логик. Читал лекции по математике и логике в Колумбийском, Нью-Иоркском и др. университетах США. Им получен ряд фундаментальных результатов в математической логике; одно из наиболее употребительных определений понятий непротиворечивости и полноты формальных систем (исчислений); доказательства функциональной полноты и дедуктивной полноты (в широком и узком смысле) исчисления высказываний; изучение систем многозначной логики с более чем 3 значениями истинности; одно из первых (независимое от А. М. Тьюринга) определении понятия алгоритма в терминах "абстрактной вычислительной машины" и формулировка основного тезиса теории алгоритмов о возможности описать любой конкретный алгоритм посредством этого определения; результаты о выразимости общерекурсивных функций и предикатов через примитивно рекурсивные, в частности т. н. теорема о нормальной форме; первые (одновременно с А. А. Марковым)доказательства алгоритмической неразрешимости ряда проблем математической логики и алгебры и др.
Лит.: Клини С. К., Введение в метаматематику, пер. с англ., М., 1957 (имеется лит.).