Янков, Вадим Анатольевич
Ошибка скрипта: Модуля «Unsubst» не существует.
Ошибка Lua в package.lua на строке 80: module 'Module:Yesno' not found.Ошибка скрипта: Модуля «Transclude» не существует.Шаблон:Карточка/имя | |
---|---|
Шаблон:Карточка/оригинал имени | |
Шаблон:Wikidata |
Ошибка Lua в package.lua на строке 80: module 'Модуль:ListOfProfessions' not found.Ошибка скрипта: Модуля «Wikidata/category» не существует.
Ошибка скрипта: Модуля «ФИО» не существует. Вадим Анатольевич Янков (род. 1 февраля 1935, Таганрог) — российский математик и философ, участник диссидентского движения.
Образование и начало общественной деятельности[править]
Учился на дневном отделении механико-математического факультета МГУ. В ноябре 1956 произнёс резкую речь против комсомола и организовал бойкот университетской столовойОшибка скрипта: Модуля «Надстрочное предупреждение» не существует.. За это в 1957 был отчислен из университета. Позднее восстановлен на заочном отделении, которое окончил в 1959. Кандидат физико-математических наук (1964; тема диссертации: «Конечные импликативные структуры и реализуемость формул логики высказываний»).
Учёный[править]
В конце 1950-х годов участвовал в разработке языка АЛЬФА для вычислительной машины М-20 в Отделе программирования, находившемся тогда в Институте математики им. Стеклова АН СССР (затем — Отдел программирования Института математики Сибирского отделения АН СССР). Работал в научно-исследовательских учреждениях и высших учебных заведениях (на преподавательской работе с 1963), в том числе в МФТИ.
С 1991 — в Российском государственном гуманитарном университете: доцент кафедры математики, логики и интеллектуальных систем факультета теоретической и прикладной лингвистики, доцент кафедры логико-математических основ гуманитарного знания отделения интеллектуальных систем Института лингвистики РГГУ. Первоначально читал курсы лекций «Математический анализ», «Алгебра», «Теория вероятностей», «Основы информатики и вычислительной математики», затем — «История философии», «Философия», «Математический анализ», «Дополнительные главы математического анализа».
Специалист в области математической логики. Занимается вопросами истории математики, философии, ранней греческой философии и науки.
Диссидент[править]
Участвовал в деятельности диссидентского движения. С 1972 года распространял самиздат, в том числе несколько своих статей, которые переправил за границу (они были опубликованы в журнале «Континент» и обнародованы на радио «Свобода»)Ошибка скрипта: Модуля «Надстрочное предупреждение» не существует.. В 1981—1982 годах написал «Письмо русским рабочим по поводу польских событий» — об истории создания и целях профсоюза «Солидарность».
В августе 1982 года был арестован, Московским горсудом 21 января 1983 г. по обвинению в антисоветской агитации и пропаганде был приговорен к 4 годам лишения свободы и 3 годам ссылки. Срок отбывал в Мордовской АССР, ссылку - в Бурятии. Был освобожден в январе 1987 в порядке помилования, был реабилитирован 30 октября 1991 г.[1]
Михаил Ривкин о Вадиме Янкове[править]
Страница Шаблон:Цитата/styles.css не имеет содержания.
Михаил Ривкин — раввин Консервативного движения. В Израиле с 1989 г. До репатриации — участник молодёжных диссидентских групп в Москве, в 1982 г. арестован, осужден на 7 лет лагерей с последующей ссылкой.
Основные публикации[править]
- О реализуемых формулах логики высказываний // Докл. АН СССР. — 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.
- Типологические особенности арифметики Древнего Египта и Месопотамии
- Истолкование ранней греческой философии. — М.: РГГУ, 2011. — 852 с.
Примечания[править]
Ссылки[править]
- Биография Ошибка скрипта: Модуля «unsubst» не существует.
- Сайт отделения интеллектуальных систем в гуманитарной сфере
Шаблон:Сортировка: изолированные статьиОшибка скрипта: Модуля «Unsubst» не существует.
This article "Янков, Вадим Анатольевич" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Янков, Вадим Анатольевич. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.