Back to the Future: Explicit Logic for Computer Science

摘要

We will speak about three traditions in Logic: · Classical, usually associated with Frege, Hilbert, Godel, Tarski, and others; · Intuitionistic, founded by Brouwer, Heyting, Kolmogorov, Godel, Kleene, and others; · Explicit, which we trace back to Skolem, Curry, Godel, Church, and others.