Royal Holloway logo and departmental theme Royal Holloway, University of London

Third Annual Kolmogorov Lecture

The speaker at the Third Annual Kolmogorov Lecture, held at Royal Holloway on 10th February 2005, was given by Professor Per Martin-Löf of Stockholm University. Professor Martin-Löf presented a lecture entitled "Zermelo's axiom of choice: What was the problem with it?"

Abstract: "Zermelo's Axion of Choice: What was the Problem With


"An analysis of Zermelo's axiom of choice in constructive type theory reveals that the problem with it is not the existence of the choice function but the extensionality of it, which is not visible in an extensional framework where all functions are by definition extensional."


Insert (or paste) bottom matter here
Last updated Wed, 17-Jun-2009 15:57 GMT
Department of Computer Science, University of London, Egham, Surrey TW20 0EX
Tel/Fax : +44 (0)1784 443421 /439786