Grigori Mints, Professor, Deparment of Philosophy and(b.c.) of Mathematics and Computer Science
"Effective Proofs and Existence in Mathematics"
The distinction between effective (algorithmic, constructive) and non-effective existence proofs goes back to ancient Greece and is important both in theory and practice. After a survey of debates around constructivity a relatively new approach called proof mining is briefly outlined.