13:30
-
14:15
-
14:15
Day 4
A counterexample to the axiom of choice (in the effective topos, an alternative mathematical universe)
This talk will present a certain alternative mathematical universe, the so-called effective topos, which contains a counterexample to the axiom of choice and is also interesting for other reasons: Unlike in the standard topos where most mathematicians spend their professional life in, in the effective topos every function is computable.
A companion session to the session on the axiom of choice; but as this talk will focus on exploring how to access the effective topos, with the counterexample to the axiom of choice only appearing in the end, the earlier session is not a prerequisite for this one.
🧮