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


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


Кандидат физико-математических наук (1964), доцент (1998) кафедры математики, логики и интеллектуальных систем в гуманитарной сфере Института лингвистики РГГУ.


Область научных интересов и сфера научной деятельности:


Специалист в области математической логики. Занимается вопросами истории математики, философии, ранней греческой философии и науки.


Научно-педагогическая деятельность:


В РГГУ с 1991 г. Читает курсы лекций «История философии», «Философия», «Математический анализ», «Дополнительные главы математического анализа».


Автор более 20 работ.


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


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




Назад в раздел