10 апреля 1941г - 18 декабря 1998г
Архангельская область, Мезенский район, Моржовец
Советский и венгерский математик, логик-конструктивист, специалист в области теории доказательств, интуиционизма и нестандартного анализа. Автор монографии «Математический интуиционизм. Введение в теорию доказательств».
