Синтаксис и семантика логических систем
  Главная  
  А.И. Кокорин  
  Организаторы  
  Заявка  
  Доклады  
  Место проведения  
  Контакты  
 
А.И. Кокорин
 
 
  Powered by    
АГОРА    
Международная школа-семинар
Синтаксис и семантика логических систем
 Али Иванович Кокорин
Русский | English

Али Иванович Кокорин родился 15 ноября 1929 года в Свердловске. После окончания военного училища служил в рядах Советской Армии на Дальнем Востоке. Демобилизовавшись в 1954 году, работал на Уралмаше и учился на заочном отделении физико-математического факультета Уральского университета. После окончания университета в 1960 году А.И. Кокорин работал ассистентом, затем страшим преподавателем в Свердловском филиале ЗИСТ на кафедре высшей математики. В 1964 году он защитил кандидатскую диссертацию и, пройдя по конкурсу, стал работать старшим преподавателем (а с 1965 года доцентом) кафедры алгебры и математической логики Новосибирского государственного университета.

Даже эти сухие данные показывают, насколько необычной была судьба у Али Ивановича, каким нетривиальным человеком был он сам. Кадровый офицер, рабочий, шахматный тренер, учитель математики. Закончив в 30 лет университет, он уже в 34 года стал кандидатом наук. В 1969 году Кокорин создал в Иркутском университете кафедру алгебры и логики, которой руководил до последних своих дней. Он обладал огромным мужеством и волей. Несмотря на страшный недуг, мучавший его и стремительно отбиравший силы, он до последних своих дней читал лекции и работал с аспирантами. Умер Али Иванович 22 октября 1987 года.

Умение создавать научную школу – довольно редкий и значительный дар. В науке очень много значит понятие "критические массы". В больших научных коллективах работать намного легче. Если же группа маленькая, то все держится на энергетическом заряде лидера. Кокорин обладал таким энергетическим зарядом с лихвой. У него была мощная интуиция, позволяющая точно угадывать новые пути развития математики и направлять исследования учеников.

А.И. Кокорин опубликовал около 60 научных работ. Среди них – 3 ключевые работы, которые отражают основные направления научных исследований в школе Кокорина. Во-первых эта книга "Линейно упорядоченные группы", которая была написана совместно с В.М Копытовым и вышла в 1972 году в серии "Современная алгебра", а в 1974 году опубликована за рубежом на английском языке. Вторая работа – обзор "Вопросы разрешимости расширенных теорий", созданный совместно с А. Пинусом и опубликованный в журнале "Успехи математических наук". Наконец, статья "Использование ЭВМ при решении известных проблем в алгебре", написанная совместно В.В. Блудовым, ознаменовала переход к новому направлению исследований, связывающему алгебру и логику с компьютерами. В последние годы Али Иванович много занимался российской историей, вопросами религии.

Иркутская научная школа А.И. Кокорина