интуиционистское исчисление
Смотреть что такое "интуиционистское исчисление" в других словарях:
Интуиционистское исчисление высказываний — Интуиционистское исчисление высказываний формальная система, отражающие некоторые способы рассуждений, приемлемые с точки зрения интуиционизма. Предложена А. Гейтингом в 1930. Основное отличие от привычного исчисления высказываний… … Википедия
ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения интуиционизма. Общепринятая (к 1978) формулировка И. и. в. была предложена А. Рейтингом (A. Heyting) в 1930. Основное ее отличие от классич. исчисления… … Математическая энциклопедия
ИНТУИЦИОНИСТСКОЕ ИСЧИСЛЕНИЕ ПРЕДИКАТОВ — см. Интуиционистская логика … Математическая энциклопедия
ИСЧИСЛЕНИЕ ЗАДАЧ — интуиционистское исчисление высказываний, понимаемое в свете интерпретации, к рую предложил в 1932 сов. ученый А. Н. Колмогоров. Эта интерпретация была свободна от гносеологич. установок интуиционизма и вскрывала содержательный материалистич.… … Философская энциклопедия
КОНСТРУКТИВНОЕ ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИИ — логическое исчисление, описывающее способы вывода высказываний, истинных с точки зрения конструктивной математики. Обычно этот термин рассматривается как синоним термина интуиционистское исчисление высказываний. Однако, при нек рых специальных… … Математическая энциклопедия
Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… … Большая советская энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки … Математическая энциклопедия
ПРОПОЗИЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — исчисление высказываний, логическое исчисление, в к ром выводимыми объектами являются пропозициональные формулы. Каждое П. и. задается набором аксиом (произвольных пропозициональных формул) и вывода правил. Формула, выводимая в данном П. и., наз … Математическая энциклопедия
ИНТУИЦИОНИСТСКОЕ АРИФМЕТИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Интуиционизм … Математическая энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ — см. Логистика. Философский энциклопедический словарь. 2010. ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ исчисление ( … Философская энциклопедия
