nLab Terence Tao

Terence Tao is an Australian-American mathematician, Fields medalist, and a professor at UCLA. Some of his major interests are in analysis (especially PDE-s, functional analysis and harmonic analysis), dynamical systems, number theory (especially the study of integer sequences), probability theory, and ergodic theory.

• personal page at UCLA

• personal blog: What’s new

• Wikipedia enty

• GoogleScholar entry

Selected writings

• Vitaly Bergelson, Terence Tao: Multiple recurrence in quasirandom groups [arXiv:1211.6372]

On measure theory via (secretly) Boolean toposes:

• Asgar Jamneshan, Terence Tao, Foundational aspects of uncountable measure theory: Gelfand duality, Riesz representation, canonical models, and canonical disintegration (arXiv:2010.00681)

On proof assistants in relation to machine learning:

• Terence Tao: Machine-Assisted Proof, Notices of the AMS 72 1 (2024) [pdf, doi:10.1090/noti3041, full issue:pdf]

• Terence Tao: Machine-Assisted Proof, AMS Colloquium Lectures at the 2024 Joint Mathematics Meetings [video]

category: people