Intuitionism and Constructive Mathematics 1/19
Channel: Ulrik Buchholtz
Date: 2016-01-19

2nd meeting of the seminar on topics in logic: intuitionism and constructive mathematics. Brouwer on the unreliability of the logical principles (http://arxiv.org/abs/1511.01113); metamathematics of Heyting Arithmetic.

Check the course website for the lecture plan (http://www.andrew.cmu.edu/user/ulrikb/80-518-818/index.html). Next time (2/26) we'll discuss Brouwer's Bar and Fan theorems (primary source: http://www.andrew.cmu.edu/user/ulrikb/80-518-818/Brouwer-1927.pdf).