Янков, Вадим Анатольевич
Вадим Анатольевич Янков (род. 1 февраля 1935, Таганрог) — российский математик и философ, участник диссидентского движения.
Вадим Анатольевич Янков | |
---|---|
Дата рождения | 1 февраля 1935 (87 лет) |
Место рождения | Таганрог |
Страна | СССР, Россия |
Научная сфера | математика, философия |
Место работы | Российский Государственный Гуманитарный Университет |
Альма-матер | МГУ (мехмат) |
Учёная степень | кандидат физико-математических наук |
Учёное звание | доцент |
Известен как | математик, создатель логики Янкова, философ |
Образование и начало общественной деятельности
В середине 1950-х годов учился на дневном отделении механико-математического факультета МГУ. В 1956 году произнёс резкую речь против комсомола и пытался организовать бойкот университетской столовой[1]. За участие в выпуске независимой стенгазеты в 1957 году был отчислен из университета[2]. Позднее восстановлен на заочном отделении, которое окончил в 1959 году. Кандидат физико-математических наук (1964); тема диссертации: «Конечные импликативные структуры и реализуемость формул логики высказываний».
Учёный
В конце 1950-х годов участвовал в разработке языка АЛЬФА для вычислительной машины М-20 в Отделе программирования, находившемся тогда в Институте математики им. Стеклова АН СССР (затем — Отдел программирования Института математики Сибирского отделения АН СССР).
С 1963 года — на преподавательской работе, до 1968 года — в МФТИ, откуда был уволен после обнародования подписанного им коллективного письма в защиту А. С. Есенина-Вольпина, после этого до 1974 года — преподаватель МАИ[3].
С 1991 года — в Российском государственном гуманитарном университете: доцент кафедры математики, логики и интеллектуальных систем факультета теоретической и прикладной лингвистики, доцент кафедры логико-математических основ гуманитарного знания отделения интеллектуальных систем Института лингвистики РГГУ. Первоначально читал курсы лекций «Математический анализ», «Алгебра», «Теория вероятностей», «Основы информатики и вычислительной математики», затем — «История философии», «Философия», «Математический анализ», «Дополнительные главы математического анализа».
Специалист в области математической логики[4] (в 1968 году открыл континуальный класс суперинтуиционистских логик)[5], работы учёного оказали значительное влияние на развитие этого раздела науки[6][7]. Также занимается вопросами истории математики[8] и древнегреческой философии.
Диссидент
Участвовал в деятельности диссидентского движения. С 1972 года распространял самиздат, в том числе несколько своих статей, которые переправил за границу (они были опубликованы в журнале «Континент» и обнародованы на радио «Свобода»)[9]. В 1981—1982 годах написал «Письмо русским рабочим по поводу польских событий» — об истории создания и целях профсоюза «Солидарность»[10].
В августе 1982 года был арестован, 21 января 1983 года по обвинению в антисоветской агитации и пропаганде был приговорен Московским горсудом к 4 годам лишения свободы и 3 годам ссылки. Срок отбывал в Мордовской АССР[11], ссылку — в Бурятии. Был освобожден в январе 1987 года в порядке помилования, реабилитирован 30 октября 1991 года[12].
Михаил Ривкин (в молодости — участник диссидентских групп в Москве, в 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 с.
Примечания
- К. В. Ким Я понял, кто я. Избранное
- Ирина Кристи «Я антисоветчица, извините, буквально с рождения» // Г. Морев, colta.ru
- Суд над Вадимом Янковым // Трибуна, март 1983
- Dick de Jongh, Fan Yang: Jankov’s Theorems for Intermediate Logics in the Setting of Universal Models
- Неклассические логики versus классической // Карпенко А. С., Логико-философские штудии, том 3, с. 48-73
- 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-98
- Curtis 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
- О мифах и реальностях: два этюда // Я. Кротов, Континент, 1999, 100
- Польская революция : The Polish revolution / Вступ. Марио Корти. — London : Overseas publ. interchange, 1985
- Святая бездна Левана Бердзенишвили // Ю. Вачнадзе, Радио Свобода
- Списки жертв политического террора в СССР согласно 4-му изданию диска «Жертвы политического террора в СССР», выпущенному в 2007 году Международным обществом «Мемориал» совместно с Уполномоченным по правам человека в РФ