ДРАГАЛИН

ДРАГАЛИН
ДРАГАЛИН
    ДРАГАЛИН Альберт Григорьевич (1942—18 декабря 1998, Дебрецен, Венгрия)—один из крупнейших российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции конструктивного направления.
    Получил образование в Московском университете (1959—64), защитил кандидатскую диссертацию ( 1969), доцент МГУ (1968—81). Докторскую диссертацию он защитил в Дебрецене в 1987, где был профессором и зав. кафедрой (с 1983). Драгалин--ученик А.А.Маркова, но его деятельность выходила за рамки узко понимаемого конструктивизма. Сохраняя общую конструктивную ориентацию, он исследовал разные концепции обоснования математики. Первым в России рассматривал математику как целостную многоуровневую систему знания, различными слоями которой являются традиционная классическая математика, интуиционизм и конструктивное направление. Особое внимание он уделил современному интуиционизму. Его цикл спецкурсов (1968—74) был посвящен разнообразным концепциям—от альтернативных систем теории множеств до математических основ неклассических логик.
    Среди важных результатов его деятельности назовем: 1 ) доказательство полноты конструктивной арифметики с принципом Маркова и правилом Карнапа; 2) доказательство того, что применение концепций нестандартных моделей резко сокращает выводы в математических теориях; 3) доказательство несовместимости принципа Маркова с брауэровским интуиционизмом; 4) конструктивное доказательство устранимости сечений во многих теориях второго порядка, в частности в теории определимых множеств. Соч.: Математический интуиционизм. Введение в теорию доказательств. М., 1979; в соавторстве с Колмогоровым А. Н. Введение в математическую логику. М., 1982; Математическая логика. Дополнительные главы. М., 1984; Explicit algebraic models for constructive and classical theories with non-standard elements.—Stadia Logica, 1995, vol. 55, pp. 33—61; Non-sîandart conservative extensions in automated reasoning.—Bulletins for Applied Mathematics (The PAMM's periodical), 1994, vol. LXX, pp. 135—142.
    H. H. Непейвода

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Игры ⚽ Нужен реферат?

Полезное


Смотреть что такое "ДРАГАЛИН" в других словарях:

  • Марков, Андрей Андреевич (младший) — Андрей Андреевич Марков …   Википедия

  • Континуума проблема —         задача, состоящая в том, чтобы доказать или опровергнуть средствами множеств теории (См. Множеств теория) следующее утверждение, называемое континуум гипотезой (К. г.): мощность Континуума есть первая мощность, превосходящая мощность… …   Большая советская энциклопедия

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

  • Математический интуиционизм —         философско математическое течение, отвергающее теоретико множественную трактовку математики и считающее интуицию единственным источником математики и главным критерием строгости её построений. Восходящая к античной математике… …   Большая советская энциклопедия

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

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • КОЛМОГОРОВ — Андрей Николаевич [р. 12 (25) апр. 1903] – сов. математик, акад. (с 1939), проф. Моск. ун та (с 1931). Лауреат Гос. премии СССР (1941). Член ряда иностр. науч. учреждений. Исследования К. оказали значит. влияние на развитие множеств теории,… …   Философская энциклопедия

  • АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

  • АНТИНОМИЯ — парадокc, ситуация, когда в теории доказываются два взаимно исключающие друг друга суждения, причем каждое из этих суждений выведено убедительными с точки зрения данной теории средствами. В отличие от софизма, умышленно ложного умозаключения с… …   Математическая энциклопедия

  • БАР-ИНДУКЦИЯ — индуктивный способ рассуждения, используемый в интуиционистской математике (см. Интуиционизм). и состоящий в следующем. Пусть на конечных кортежах натуральных чисел заданы нек рые свойства такие, что: 1) свойство Rразрешимо, т. е. для всякого… …   Математическая энциклопедия


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

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