Intuitionism and Constructive Mathematics 2/2
Channel: Ulrik Buchholtz
Date: 02/02/2016

4th meeting of the seminar on topics in logic: intuitionism and constructive mathematics: Russian constructivism and constructive recursive mathematics, Specker sequences, the Kreisel-Lacombe-Shoenfield/Tseytin theorem, implications for analysis and topology.

Note on next week – while I am at the Bonn workshop on homotopy type theory, there will be a guest speaker, Frank Pfenning on verifications & judgements, proofs & propositions. He's agreed to be recorded & hopefully one of the grad students will be able to run the camera. More info on that later.