01:07:11
published on December 23, 2025
Organising large proofs: techniques, tools, and future
By Georges Gonthier
[1199] Pointwise ergodic theory after Jean Bourguin: examples and entropy
Appears in collection : Bourbaki - Novembre 2022
In this talk, we will explain how Bourgain combined elementary computation with a deep understanding of the entropic method to prove his pointwise ergodic theorem. The focus throughout will be on the intuition and heuristic which led him to his proof.
[After Jean Bourgain]
