Эрбран это:

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

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Эрбран" в других словарях:

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

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

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

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

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

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

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

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

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

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


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»