gossip from mathland

[gusl]

Proof theory is good at translating infinitary results (ergodic theory) into finitary ones (combinatorics), thanks to Kohlenbach's revolution of the field (few structural proof theorists remain). Terry Tao is interested and published a paper related to this.
source: htowsner