Harvey Friedman

  1. Title:
    EXTENDING FUNCTIONS
    Speaker:
    Harvey Friedman

    Link:
    https://video-archive.fields.utoronto.ca/view/5613

  2. Title:
    An Approach to the Formal Representation of Mathematical Propositions
    Speaker:
    Harvey Friedman

    Link:
    https://video-archive.fields.utoronto.ca/view/4683