Янков, Вадим Анатольевич

19.12.2020

Вадим Анатольевич Янков (род. 1 февраля 1935, Таганрог) — российский математик и философ, участник диссидентского движения.

Образование и начало общественной деятельности

В середине 1950-х годов учился на дневном отделении механико-математического факультета МГУ. В 1956 году произнёс резкую речь против комсомола и пытался организовать бойкот университетской столовой. За участие в выпуске независимой стенгазеты в 1957 году был отчислен из университета. Позднее восстановлен на заочном отделении, которое окончил в 1959 году. Кандидат физико-математических наук (1964); тема диссертации: «Конечные импликативные структуры и реализуемость формул логики высказываний».

Учёный

В конце 1950-х годов участвовал в разработке языка АЛЬФА для вычислительной машины М-20 в Отделе программирования, находившемся тогда в Институте математики им. Стеклова АН СССР (затем — Отдел программирования Института математики Сибирского отделения АН СССР).

С 1963 года — на преподавательской работе, до 1968 года — в МФТИ, откуда был уволен после обнародования подписанного им коллективного письма в защиту А. С. Есенина-Вольпина, после этого до 1974 года — преподаватель МАИ.

С 1991 года — в Российском государственном гуманитарном университете: доцент кафедры математики, логики и интеллектуальных систем факультета теоретической и прикладной лингвистики, доцент кафедры логико-математических основ гуманитарного знания отделения интеллектуальных систем Института лингвистики РГГУ. Первоначально читал курсы лекций «Математический анализ», «Алгебра», «Теория вероятностей», «Основы информатики и вычислительной математики», затем — «История философии», «Философия», «Математический анализ», «Дополнительные главы математического анализа».

Специалист в области математической логики (в 1968 году открыл континуальный класс суперинтуиционистских логик), работы учёного оказали значительное влияние на развитие этого раздела науки. Также занимается вопросами истории математики и древнегреческой философии.

Диссидент

Участвовал в деятельности диссидентского движения. С 1972 года распространял самиздат, в том числе несколько своих статей, которые переправил за границу (они были опубликованы в журнале «Континент» и обнародованы на радио «Свобода»). В 1981—1982 годах написал «Письмо русским рабочим по поводу польских событий» — об истории создания и целях профсоюза «Солидарность».

В августе 1982 года был арестован, 21 января 1983 года по обвинению в антисоветской агитации и пропаганде был приговорен Московским горсудом к 4 годам лишения свободы и 3 годам ссылки. Срок отбывал в Мордовской АССР, ссылку — в Бурятии. Был освобожден в январе 1987 года в порядке помилования, реабилитирован 30 октября 1991 года.

Михаил Ривкин (в молодости — участник диссидентских групп в Москве, в 1980-е годы находился в заключении, в настоящее время живёт в Израиле, раввин консервативного движения в иудаизме) так высказывался о Янкове:

Основные публикации

  • О реализуемых формулах логики высказываний // Докл. АН СССР. — 1963. — Т. 151, № 5. — С. 60-64.
  • Построение последовательности сильно независимых суперинтуиционистских пропозиционных исчислений // Там же. — 1968. — Т. 181, № 1. — С. 33-34.
  • Конъюнктивно неразложимые формулы в пропозициональных исчислениях // Изв. АН СССР. Сер. мат. — 1969. — Т. 33. № 1. — С. 18-38.
  • Математическая логика: Учеб. пособие / Моск. авиац. ин-т. — М., 1974. — 142 с. Соавт. Осипова В.
  • Этико-философский трактат // Континент. — 1985. — № 43. — С. 271—301.
  • Диалоговая теория доказательства для арифметики, анализа и теории множеств // Изв. РАН. Сер. мат. — 1994. — № 3. — С. 25-30.
  • Бесконечность и становление доказательства // Бесконечность в математике: философские и исторические аспекты. — М., 1997. — С. 20-24.
  • Становление доказательства в ранней греческой математике: гипотетическая реконструкция // Историко-математические исследования. Сер. 2. — М., 1997. — Вып. 2(37). — С. 200—236.
  • Эскиз экзистенциальной истории // Вопросы философии. — 1998. — № 6. — С. 3-28.
  • Строение вещества в философии Анаксагора // Вопросы философии. — 2003. — № 5.
  • Типологические особенности арифметики Древнего Египта и Месопотамии / Под ред. А. Г. Барабашева // Стили в математике: социокультурная философия математики. — СПб.: РХГИ, 1999.
  • Истолкование ранней греческой философии. — М.: РГГУ, 2011. — 852 с.


Имя:*
E-Mail:
Комментарий:
Информационный некоммерческий ресурс fccland.ru © 2020
При цитировании и использовании любых материалов ссылка на сайт обязательна