- РУС
- ТАТ
Логик, доктор философских наук (1989), профессор (1990)
Родился 21 июня 1934 года в городе Москве.
Окончил Московский инженерно-строительный институт (1957) и механико-математический факультет Московского университета (1965).
С 1971 года на кафедрах высшей математики Военно-инженерной академии и Военной академии химической защиты, Московского института инженеров сельскохозяйственного производства.
Труды посвящены разработке метода арифметизации логики, позволяющего дать решения проблемы Лейбница – сведения умозаключений к вычислению, реализованному в компьютерных программах.
Многоаспектный подход в логике и теории познания // Философские науки. 1988. № 8.
Умозаключения на персональных компьютерах. М., 1989.
Многомерность истины // Философские науки. 1991. № 4.
Вы используете устаревшую версию браузера.
Для корректного отображения сайта обновите браузер.