Talk on Wednesday 17 February 2016 14:00-15:00 at DTU Lyngby Campus, Building 101, Room S10
A synthetic axiomatization of Map Theory
By Klaus Grue, Edlund A/S
Map Theory axiomatizes lambda calculus plus Hilbert's epsilon operator. All theorems of ZFC set theory including the axiom of foundation are provable in Map Theory, and if one omits Hilbert's epsilon operator from Map Theory then one is left with a computer programming language.