01:07:11
publiée le 23 décembre 2025
Organising large proofs: techniques, tools, and future
De Georges Gonthier
[1199] Pointwise ergodic theory after Jean Bourguin: examples and entropy
Apparaît dans la 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]
