Download as iCal file


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).