On some non-classical and non-constructive axioms

Keiko Nakata

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.

Tarmo Uustalu
Last update 23.2.2012