Большая биографическая энциклопедия - бирюкова любовь гавриловна

(р. 26.09.1940) — спец. в обл. истории логики и филос. математики; канд. филос. наук, доц. Род. в г. Ногинск Моск. обл. Окончила механико-матем. ф-т МГУ (1963), асп. по кафедре математики Моск. горного ин-та (1970). Преподавала математику и логику в Моск. горном ин-те (1970—1978), в МИНХ (ныне Экон. академии) (с 1978), Междунар. Славянском ун-те (с 1992 по наст. вр.). Канд. дисс. — "Становление генетического метода в дедуктивном знании". Осн. обл. интересов — история совр. логики. Б. выявила этапы и значение генетического метода в матем.-логическом знании; доказала, что братья Г. и Р. Грассманы стоят у истоков совр. теории рекурсии и конструктивного направления в математике и логике; что они являются одними из создателей алгебры логики (булевой алгебры). Г.Грассман впервые сформулировал постулаты теории абелевых групп, а его брат — теории решеток. Б. (совм. с Б.В.Бирюковым) уточнена "группировочная" концепция логики интеллекта, разработанная Ж.Пиаже. В посл. годы Б. изучает также логические аспекты чтения в контексте информатики.

Соч.: "Учение о величинах" Р.Трассмана; Конструктивный характер и проблема отношения к естественному языку // Логический анализ естественных языков. 1979; "Учение о формах" Германа и Роберта Грассманов как предвосхищение конструктивного направления в математике // Вопросы кибернетики. М., 1982, 1984. Ч.I, II; Алгоритмические проблемы XX в. и становление аксиоматики фундаментальных алгебраических структур // Методологический анализ оснований математики. М., 1988; У истоков аксиоматики фундаментальных алгебраических структур: достижения Германа и Роберта Грассманов. [В соавт.] // Modern Logic, v.7, № 2; Пути обобщения "группировочной" концепции логики интеллекта, разработанной Жаном Пиаже // Развитие логики в России: итоги и перспективы. Междунар. конф., СПб., 1997; Грамотность в изменяющемся мире // Читающая Россия: мифы и реальность. М., 1997; Из истории генетического метода: об одном опыте осмысления грассмановской индуктивно-рекурсивной арифметики (В.Ф.Каган). [В соавт.] // Современная логика: проблемы теории, истории и применения в науке. Материалы научной конф. СПб., 2000.

Большая биографическая энциклопедия

2009