Home > logic, miwhpm > John L. Bell – The Axiom of Choice in a Constructive Setting

John L. Bell – The Axiom of Choice in a Constructive Setting

The Montreal Inter-University Workshop
on the History and Philosophy of Mathematics
presents:

John L. Bell
(Western Ontario)
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.

  1. No comments yet.
  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: