Stephen Wolfram

  1. Title:
    What Will it Take to Design a Language for Pure Mathematics?
    Speaker:
    Stephen Wolfram

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