John L. Bell – The Axiom of Choice in a Constructive Setting
The Montreal Inter-University Workshop
on the History and Philosophy of Mathematics
John L. Bell
The Axiom of Choice in a Constructive Setting
Abstract: The talk concerns the status of the Axiom of Choice in
various constructive contexts, including intuitionistic set theory,
constructive type theory and Hilbert’s epsilon calculus.
Monday, April 12th , 2010. 3:00-5:00pm
McGill University, Leacock Building, Room 927
For more information, please contact:
Gregory Lavers (Concordia), Mathieu Marion (UQÀM), Jean-Pierre Marquis (UdM), Michael Hallett (McGill).
This lecture is sponsored in part by Professor Mathieu Marion, holder of the Canada Research Chair in Philosophy of Logic and Mathematics at UQAM.