Revenir à la page d'accueil
1 juin 2021 de 10 h 00 à 10 h 00
(heure de Montréal/HNE)
Séminaire par 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
1 juin 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.
L'horaire de l'activité est affichée dans le fuseau horaire de Montréal/Miami (America/Toronto).
Le fureteur a détecté votre fuseau horaire comme étant : N/A
Votre heure locale devrait donc être : N/A
Si c'est exact, l'activité débutera le N/A à N/A