December 8, 2020
December 8, 2020 from 10:00 to 11:00 (Montreal/EST time) Zoom meeting
In the late 1970s, Mitchell Feigenbaum discovered the universality of bifurcations in one-parameter families of maps. This universality was explained with a fixed point equation, and a flow in the space of all one-parameter families of maps. With Peter Wittwer, I showed in 1987 a rigorous proof of this phenomenon, using a "computer assisted" proof of the Feigenbaum conjectures. I will explain what are the somehow unconventional issues of this computer assisted proof, and how they are solved. Please keep in mind that this is quite old stuff, and a more modern implementation of the ideas would be much easier now than it was over 30 years ago.