Yahoo Web Search

Sign In

Search results

  1. terrytao.wordpress.comWhat's new | Updates on my research and expository papers ...

    May 20, 2024 · Terence Tao is a mathematician who writes about his latest results and topics of interest on his blog. Read his posts on generalized Cauchy-Schwarz inequality, Gibbs variational formula, Lean 4 proof tour, and more.

  2. www.math.ucla.edu › ~taoTerence Tao, - Home - UCLA Mathematics

    Terence Tao is a mathematician who works in various fields, such as harmonic analysis, PDE, combinatorics, and number theory. He also maintains a personal blog where he posts about his research, teaching, and other topics of interest.

  3. terrytao.wordpress.com › 2023/12/05 › a-slightlyA slightly longer Lean 4 proof tour | What's new

    Dec 6, 2023 · Terence Tao shares his experience of formalizing a lemma in Lean 4, a proof assistant for mathematics. He explains how he used a human-readable proof as a blueprint and applied various Lean tactics to complete the proof.

  4. www.quantamagazine.org › what-makes-for-goodWhat Makes for ‘Good’ Mathematics? | Quanta Magazine

    Feb 1, 2024 · Listen to the podcast episode where the Fields Medalist and prolific mathematician Terence Tao revisits his 2007 essay on the common ingredients in good mathematical research. He discusses the convergence of different values and perspectives in mathematics, and the role of beauty, elegance, rigor and applications.

  5. www.math.ucla.edu › ~tao › whatsnewWhat's New - UCLA Mathematics

    Feb 7, 2007. Uploaded: “ What is good mathematics? ”, submitted, Bull. Amer. Math. Soc. This (my first attempt at writing meta-mathematics!) is a solicited article on the (possibly dangerous!) topic of what constitutes good mathematics. My answer is a bit complicated: there are many possible metrics to measure quality mathematics, but the ...

  6. Videos

    View all

  1. Related searches

    People

    Show more

  2. Searches related to terence tao blog

    terence tao blog pagetim gowers blog
  2. People also search for