- Эрбран
- Эрбрн p.n. Herbrand
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
Русско-английский словарь математических терминов. — Американское математическое общество. Э.Д. Лоувотер. 1990.
ЭРБРАН — ЭРБРАН (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 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
Алгоритм — У этого термина существуют и другие значения, см. Алгоритм (значения). Для улучшения этой статьи желательно?: Переработать оформление в соответствии с правил … Википедия