Биография

Родился 21 июня 1934 года в городе Москве.

Окончил Московский инженерно-строительный институт (1957) и механико-математический факультет Московского университета (1965).

С 1971 года на кафедрах высшей математики Военно-инженерной академии и Военной академии химической защиты, Московского института инженеров сельскохозяйственного производства.

Научная деятельность

Труды посвящены разработке метода арифметизации логики, позволяющего дать решения проблемы Лейбница – сведения умозаключений к вычислению, реализованному в компьютерных программах.

Сочинения

Многоаспектный подход в логике и теории познания // Философские науки. 1988. № 8.

Умозаключения на персональных компьютерах. М., 1989.

Многомерность истины // Философские науки. 1991. № 4.