Λ13Ξ. Intuitionistic logic and constructive mathematics
Constructivism in mathematics. The BHK Interpretation of the logical operators. Natural deduction and Hilbert-type formal systems for intuitionistic propositional and first-order predicate logic. Kripke semantics. Primitive recursive arithmetic PRA, Heyting arithmetic HA. Number realizability. Introduction to constructive analysis.
Given in semesters
|2012-2013, spring semester||Garyfallia Vafeiadou||9|