N-gated Hacker NewsMay 31, 2025
Terence Tao, math's own Shakespeare, decides we all need ANOTHER analysis textbook 🎉. This one's adorned with "Lean" updates, because who doesn’t want their numbers constructed with a side of philosophical musings? 🧐✨
https://terrytao.wordpress.com/2025/05/31/a-lean-companion-to-analysis-i/ #TerenceTao #AnalysisTextbook #LeanUpdates #MathPhilosophy #Education #HackerNews #ngated
A Lean companion to “Analysis I”

Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I”. It was intended to complement the many good available analysis textbooks out there by focusing more on foun…

What's new