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

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

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

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

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

Специалист в области математической логики (в 1968 году открыл континуальный класс суперинтуиционистских логик), работы учёного оказали значительное влияние на развитие этого раздела наукиAlex Citkin Characteristic formulas over intermediate logics // Larisa Maksimova on Implication, Interpolation, and Definability, Outstanding Contributions to Logic, 15, eds. Sergei Odintsov, Springer, Berlin, Heidelberg, 2018, pp 71-98Curtis Franks Logical Nihilism // Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. De Gruyter. pp. 147—166 (2015). Также занимается вопросами истории математикиЩетников А. И. Сочинения Платона и Аристотеля как свидетельства о становлении системы математических определений и аксиом. ΣΧΟΛΗ, вып. 1, 2007, c. 172—194 и древнегреческой философии.

Диссидент Участвовал в деятельности диссидентского движения. С 1972 года распространял самиздат, в том числе несколько своих статей, которые переправил за границу (они были опубликованы в журнале «Континент» и обнародованы на радио «Свобода»). В 1981—1982 годах написал «Письмо русским рабочим по поводу польских событий» — об истории создания и целях профсоюза «Солидарность»Польская революция : The Polish revolution / Вступ. Марио Корти. — London : Overseas publ. interchange, 1985.

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

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

Умер 11 марта 2024 года в возрасте 89 лет.

Основные публикации О реализуемых формулах логики высказываний // Докл. АН СССР. — 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 с.

См. также

Суперинтуиционистские логики

Примечания

Ссылки Страница на сайте РГГУ Сайт отделения интеллектуальных систем в гуманитарной сфере Статьи в базе данных Math-Net.Ru\

Категория:Советские диссиденты Категория:Философы России Категория:Преподаватели Московского физико-технического института Категория:Преподаватели Российского государственного гуманитарного университета Категория:Репрессированные в СССР