ЛОМИ, 1960-1980-е гг., "Строгий" математический конструктивизм и другие направления математики и естественных наук на семинаре по математической логике.

В годы работы семинара по математической логике в ЛОМИ основополагающие работы по конструктивной математике выходили главным образом не в "Записках Научных Семинаров ЛОМИ", а в других изданиях, таких как Труды МИАН (например: Н.А. Шанин. Об иерархии способов понимания суждений в конструктивной математике. Тр. МИАН СССР, 1973, 129, 203–266). Доклады на семинаре были гораздо шире по тематике, а соответствующие публикации носили более "конспективный" характер. Часть из них была посвящена важным для конструктивизма примерам, подчеркивающим различия между конструктивной и классической математикой (ряд работ Г.С. Цейтина, В.А. Лившица, В.П. Оревкова и др.). Интересны, однако, многочисленные доклады и публикации, отражающие интерес к междисциплинарным взаимодействиям и, в определенной степени, выход за рамки конструктивизма как математической "доктрины", с использованием конструктивных методов. Здесь можно упомянуть исследования трансфинитных выводов в работах Г.Е. Минца, мутационные исчисления (с приложениями к биологии) С.Ю. Маслова, доклад биолога А.А. Любищева о теории систем. В докладе предполагается более полный обзор этих аспектов работы семинара. *) Вход прежний. Просим Вас при входе в Zoom указывать своё имя и фамилию.