Revenir à la page d'accueil
June 1, 2021 from 10:00 to 10:00
Seminar presented by Charles Fefferman (Princeton University, USA)
The talk recounts how computer-assisted proofs came into two theorems on the quantum mechanics of Coulomb systems during the 1980's.
CRM CAMP Colloquium: Encounters with Computer-Assisted Proofs in Early Days
June 1, 2021
Princeton University, USA
Charlie Fefferman received his undergraduate education at the University of Maryland and his PhD at Princeton under Elias Stein. After four years at the University of Chicago he returned to Princeton as a full professor at the age of 25, becoming the youngest person to be promoted to the title. He won the Alan T. Waterman Award in 1976 and the Fields Medal in 1978 for his work in mathematical analysis, specifically convergence and divergence. He was elected to the National Academy of Sciences in 1979. He was appointed the Herbert Jones Professor at Princeton in 1984. He has worked in several branches of analysis over many years.
Miscellaneous questions in analysis. In particular, I'm a consumer of computer-assisted proofs in atomic physics long ago, and more recently in fluid mechanics.
The activity schedule is displayed in the Montreal/Miami (America/Toronto) time zone.
The browser has detected your time zone as : N/A
So your local time should be: N/A
If this is correct, the activity will begin on N/A at N/A