Про знаменитості
Вадим Анатолійович Янков: біографія
-
російський математик і філософ, учасник дисидентського руху
Освіта і початок громадської діяльності
Навчався на денному відділенні механіко-математичного факультету МДУ. У листопаді 1956 виголосив різку промову проти комсомолу і організував бойкот університетської їдальні. За це в 1957 був відрахований з університету. Пізніше поновлений на заочному відділенні, яке закінчив у 1959. Кандидат фізико-математичних наук (1964; тема дисертації: «Кінцеві импликативную структури і реалізація формул логіки висловлювань »).
Вчений
Наприкінці 1950-х років брав участь у розробці мови АЛЬФА для обчислювальної машини М-20 у Відділі програмування, що знаходився тоді в Інституті математики ім. Стеклова АН СРСР (потім - Відділ програмування Інституту математики Сибірського відділення АН СРСР). Працював у науково-дослідних установах і вищих навчальних закладах (на викладацькій роботі з 1963), у тому числі в МФТІ.
З 1991 - в Російському державному гуманітарному університеті: доцент кафедри математики, логіки та інтелектуальних систем факультету теоретичної і прикладної лінгвістики, доцент кафедри логіко-математичних основ гуманітарного знання відділення інтелектуальних систем Інституту лінгвістики РДГУ. Спочатку читав курси лекцій «Математичний аналіз», «Алгебра», «Теорія ймовірностей», «Основи інформатики та обчислювальної математики», потім - «Історія філософії», «Філософія», «Математичний аналіз», «Додаткові глави математичного аналізу».
Спеціаліст в галузі математичної логіки. Займається питаннями історії математики, філософії, ранньої грецької філософії та науки.
Дисидент
Брав участь у діяльності дисидентського руху. З 1972 поширював самвидав, в тому числі кілька своїх статей, які переправив за кордон (вони були опубліковані в журналі «Континент» і оприлюднені на радіо «Свобода»). У 1981-1982 написав «Лист російським робочим з приводу польських подій» - про історію створення і цілі профспілки «Солідарність». У серпні 1982 був заарештований, в 1983 засуджений до позбавлення волі, звільнений під час «перебудови».
Михайло Рівкін про Вадима Янкова
Михайло Рівкін - рабин Консервативного руху. В Ізраїлі з 1989. До репатріації - учасник молодіжних дисидентських груп в Москві, в 1982 арештований, засуджений на 7 років таборів з наступним посиланням.
Основні публікації
- Побудова послідовності сильно незалежних суперінтуіціоністскіх пропозіціонних числень / / Там же. 1968. Т. 181, № 1.С. 33-34.
- Математична логіка: Учеб. посібник / Моск. авіац. ін-т. М., 1974. 142 с. Співавт. Осипова В.
- Етико-філософський трактат / / Континент. 1985. № 43. С. 271-301.
- Діалогова теорія докази для арифметики, аналізу та теорії множин / / Изв. РАН. Сер. мат. 1994. № 3. С. 25-30.
- Коньюнктівно нерозкладних формули в пропозіціональних численнях / / Изв. АН СРСР. Сер. мат. 1969. Т. 33. № 1. С. 18-38.
- Про реалізованих формулах логіки висловлювань / / Докл. АН СРСР. 1963. Т. 151, № 5. С. 60-64.
- Будова речовини у філософії Анаксагора / / Питання філософії. 2003. № 5.
- Становлення докази в ранній грецькій математиці: гіпотетична реконструкція / / Історико-математичні дослідження. Сер. 2. М., 1997. Вип. 2 (37). С. 200-236.
- Ескіз екзистенціальної історії / / Питання філософії. 1998. № 6. С. 3-28.
- Нескінченність і становлення докази / / Нескінченність у математиці: філософські та історичні аспекти. М., 1997. С. 20-24.
- Типологічні особливості арифметики Стародавнього Єгипту і Месопотамії