Seminars & Colloquia Calendar

Download as iCal file

Colloquia

The Shape of Math to Come: Why teach a computer how mathematicians prove theorems

Alex Kontorovich (Rutgers University)

Location:  Hill 705 and Zoom
Date & time: Friday, 01 December 2023 at 1:30PM - 2:15PM

Abstract: We will discuss some ongoing experiments in formalizing mathematics in "interactive proof assistant" software, and why that may have a meaningful impact on what working in mathematics might look like in a decade (if not sooner).
 

Special Note to All Travelers

Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.

Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.