Subscribe to Events
Alex Kontrovich - Why teach a computer how mathematicians prove theorems
Elie Salomon
Location: Hill 705
Date & time: Thursday, 12 October 2023 at 12:00PM - 1:00PM
IN-PERSON MATHEMATICAL PHYSICS SEMINAR
RUTGERS UNIVERSITY
HILL 705
____________________________________________
COFFEE WILL BE AVAILABLE AT 11:50. THERE WILL BE A BROWN BAG LUNCH AFTER THE SEMINAR.
Alex Kontrovich – Rutgers University
Date/Time/Location
Thursday, October 12th, 12:00pm; Hill Center 705
Why teach a computer how mathematicians prove theorems
We'll describe some progress in how and why mathematics is formalized in "interactive proof assistant" software, and potential applications thereof.