Physics Colloquia, Physics | AS

December 12, 2019 Thursday 3:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Michael Douglas
Stonybrook

How Will We Do Mathematics in 2030?

We make the case that over the coming decade, computer assisted reasoning will become far more widely used in the mathematical sciences. This includes interactive and automatic theorem verification, symbolic algebra, and emerging technologies such as formal knowledge repositories, semantic search and intelligent textbooks.
After a short review of the state of the art, we survey directions where we expect progress, such as mathematical search and formal abstracts, developments in computational mathematics, integration of computation into textbooks, and organizing and verifying large calculations and proofs. For each we try to identify the barriers and potential solutions.

January 30, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Tracy Slatyer
MIT

TBA

February 13, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Charles Marcus
University of Copenhagen/Microsoft

TBA

February 20, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Nadya Mason
University of Illinois

TBA

February 27, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Frans Pretorious
Princeton University

TBA

March 12, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Ignacio Cirac
Max Planck Institute

TBA

March 26, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Andrew Wray
NYU

TBA

April 2, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Feryal Ozel
University of Arizona

TBA

April 16, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Netta Engelhardt
MIT

TBA

April 23, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Sabetta Matsumoto
Georgia Tech

TBA

May 7, 2020 Thursday 4:00 PM +
726 Broadway Room 940
Physics Colloquia (colloquia)

Joanna Aizenberg
Harvard University

TBA