01.1997 - 12.1999 ,    Код проекта: 97-06-80211  Описание В связи с подготовкой к изданию "Избранных тудов" одного из наиболее выдающихся математиков и логиков ХХ в. А.А.Маркова в рамках данного проекта прослеживается про- цесс исторического развития в основаниях математики, при- ведший к формированию т.н. марковского конструктивного направления в математике, а также анализируется отноше- ние, в котором эта "архитектурная программа для математи- ки" находится с другими программами подобного рода, в частности - с теоретико-множественной программой Канто- ра--Дедекинда, интуиционизмом Брауэра и теорией доказа- тельств (метаматематикой) Гильберта. Рассматривается ряд важнейших проблем марковской концепции, связанных с поня- тием закона конструктивной логики, с т.н. принципом конс- труктивного подбора (принцип Маркова) и с анализом поня- тия конечного множества. Особое внимание уделяется ряду нерешенных проблем, относящихся к раннему периоду занятий Маркова клиниевской реализуемостью. Готовится ряд коммен- тариев к упомянутым выше "Избранным трудам".  Ключевые слова марковский конструктивизм, конструктивная логика, конс- труктивная математика, конструктивная семантика, алго- ритм, интуиционизм, клиниевская реализуемость, метамате- матика, непротиворечивость арифметики, теория доказатель- ств Специальность РФФИ 01-101 Математическая логика и основания математики , 01-102 Алгебра , 01-105 Топология , 01-201 Математическое моделирование , 01-208 Теория программирования , 01-332 Теория динамических систем и хаос , 02-720 Квантовая теория поля, квантовая механика , 06-400 Язык и мышление, экспериментальная и компьютерная лингвистика, компьютерная текстология, литературоведческая семиотика.