Constructive mathematics in St. Petersburg, Russia

a (somewhat subjective) view from within

Vladik Kreinovich

pp. 205-236

in: Francine F. Abeles, Mark E. Fuller (eds), Modern logic 1850-1950, East and West, Basel, Birkhäuser, 2016

Abstrakt

In the 1970 and 1980s, logic and constructive mathematics were an important part of my life; it's what I defended in my Master's thesis, it was an important part of my PhD dissertation. I was privileged to work with the giants. I visited them in their homes. They were who I went to for advice. And this is my story.