Preprint:

    Totality, Provability, and Feasibility
    G\ödel Lecture
    ASL Annual Meeting
    New York City
    May 22, 2019

    Download talk slides.