Λ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
| semester | teaching | students |
|---|---|---|
| 2012-2013, spring semester | Garyfallia Vafeiadou | 9 |
Comments