Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

6 November 2001, Extra Talk,
Alexander Esenin Volpin

Speaker: Alexander Esenin Volpin
Title: Logical-Mathematical Proofs and Intuitive Thinking
Date: Tuesday 6 November 2001
Time: 13:15-15:00
Location: Room P019, Euclides building, Plantage Muidergracht 24

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.

Please note that this newsitem has been archived, and may contain outdated information or links.