Brains, Minds + Machines Seminar Series: How will we do mathematics in 2030?

Michael Douglas
February 25, 2020 - 4:00 pm to 5:00 pm
Add to Calendar
Speaker/s: 

Michael Douglas, Stony Brook

Organizer: 

Title:  How will we do mathematics in 2030 ?

Abstract:
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.

Details

Singleton(46-3002), 43 Vassar Street, Cambridge MA 02139
Date: 
February 25, 2020
Time: 
4:00 pm to 5:00 pm
Venue: 
Singleton Auditorium
Address: 

Singleton(46-3002), 43 Vassar Street, Cambridge MA 02139