6 November 2001, Extra Talk,
Alexander Esenin Volpin

Alexander Esenin Volpin has worked from the seventies and eighties on a very radical approach to the Foundations of Mathematics: ultra-intuitionism (see e.g. "The ultra-intuitionistic criticism and the anti-traditional program for foundations of mathematics" in "Intuitionism and Proof Theory", Kino, Myhill, Vesley eds., North-Holland, 1970). Although highly onorthodox and never fully understood, his work did inspire a considerable number of people, among which Parikh, Ehrenfeucht, Vopenka to logical work realizing some of his ideas in formal settings.