Institute of Cybernetics at TUT
Thursday, 23 February 2012, 14:00
Cybernetica Bldg (Akadeemia tee 21), room to be confirmed
Abstract: I will review some non-classical axioms, Church's thesis and Brouwer's continuity principle, which are false in classical logic, and some non-constructive axioms, Markov's principle and the FAN theorem, which are not provable in Heyting arithmetic, but are of great interest to constructive mathematicians.