Эрбран

См. также в других словарях:

• ЭРБРАН —     ЭРБРАН (Herbrand) Жак (12 февраля 1908, Париж27 июля 1931, Изер, Франция) французский логик и математик; окончил Высшую Нормальную школу (1928), защитил докторскую степень с отличием (1930); как степендиат рокфеллеровского фонда последние два …   Философская энциклопедия

• Эрбран Жак — Эрбран (Herbrand) Жак (12.2.1908, Париж, ‒ 27.7.1931, Ла Берард, Изер), французский математик. Окончил (1925) Высшую нормальную школу в Париже. Основные труды в области математической логики (исчисление предикатов, рекурсивные функции, теоремы о… …   Большая советская энциклопедия

• Эрбран, Жак — Жак Эрбран Jacques Herbrand Фотография Жака Эрбрана во время последнего похода в горы Д …   Википедия

• Эрбран — (Herbrand)         Жак (12.2.1908, Париж, 27.7.1931, Ла Берард, Изер), французский математик. Окончил (1925) Высшую нормальную школу в Париже. Основные труды в области математической логики (исчисление предикатов, рекурсивные функции, теоремы о… …   Большая советская энциклопедия

• Дедукция — (от лат. deductio выведение)         переход от общего к частному; в более специальном смысле термин «Д.» обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики (См. Логика) от некоторых данных предложений посылок к …   Большая советская энциклопедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• ФРАНЦУЗСКАЯ ФИЛОСОФИЯ — – Примыкая в самый начальный период к философии поздней античности, франц. философия рано нашла свой оригинальный образ мышления и изложения. Для нее характерна ясность мышления, она всегда была тесно связана с общественной и политической жизнью… …   Философская энциклопедия

• КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

• ФИНИТИЗМ —         (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …   Философская энциклопедия

• Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил …   Википедия