News & Events

Event Details

In-Person Seminar: Alex Kontorovich - Why teach a computer how mathematicians prove theorems

  • Event Date: October 12, 2023
  • Event Start Time: 12:00 PM
  • Event End Time: 1:00 PM
  • Event Type: Mathematical Physics In Person Seminar
  • Event Location: Hill 705

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.

IF YOU HAVE ANY QUESTIONS PLEASE EMAIL ME AT This email address is being protected from spambots. You need JavaScript enabled to view it.

Alex Kontorovich – 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.