Analysis I
Analysis I by Terence Taoby Terence Tao
Shares rank 7 of 20 mathematics textbooks by recommenders
People recommend it as a methodical, accessible real analysis text, with Lean 4 formal proofs published alongside. The most common caveat is that readers can't tell whether their own proofs are correct.
People recommend it as a methodical, accessible real analysis text, with Lean 4 formal proofs published alongside. The most common caveat is that readers can't tell whether their own proofs are correct.
4 people gave an opinion
- recommend it
- 4
- criticize it
- 0
- approval share
- 100%
Recommended in 4 of 13 months
- November 2025: not recommended
- December 2025: recommended
- January 2026: not recommended
- February 2026: not recommended
- March 2026: not recommended
- April 2026: not recommended
- May 2026: not recommended
- June 2026: recommended
- July 2026: recommended
- August 2026: not recommended
- September 2026: recommended
- October 2026: not recommended
- November 2026: not recommended (month in progress)
Why it doesn’t carry the badge
- 4 people recommend itNeeds 10 or more, not met.
- Nobody criticizes itNeeds 2 to 1 or better, met.
- Recommended in 4 of 13 monthsNeeds 4 or more, met.
The same three rules apply to every product, and the badge can’t be bought. How the badge works
What people say about it
The reasons people give, with the number of comments that give each one. Open a reason to read what they said.
Why people recommend it
Each mark is one comment
Lean 4 formal proofs published alongside
“when you have a fields medal winner publishing lean4 formal proofs on github to go with one of his books you are making a lot of progress”
Comment from 13 Dec 2025 in “50 years of proof assistants” Methodical and accessible, though dry
“it builds up in a somewhat "dry" but actually very accessible and methodical way”
Comment from 19 Sep 2026 in “I vibed a proof of Conway's conjecture” Makes pure mathematics enjoyable
“I never thought I'd enjoy reading pure mathematics.”
Comment from 12 Jun 2026 in “Terry Tao Became an Evangelist for AI in Math” Really good, per one reader
“it's really good but my main problem was that I wasn't able to know if my proofs are correct”
Comment from 1 Jul 2026 in “Mathematics: Its Content, Methods and Meaning”
What people warn about
Each mark is one comment
Can't verify own proofs
“it's really good but my main problem was that I wasn't able to know if my proofs are correct”
Comment from 1 Jul 2026 in “Mathematics: Its Content, Methods and Meaning”
Other mathematics textbooks people recommend
The four most recommended other mathematics textbooks, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
| Product | Recommend | Criticize | Approval | Months | Owned | Badge |
|---|---|---|---|---|---|---|
| Algorithms for Optimizationby Kochenderfer and Wheeler | 10 | 1 | 91% | 1 | — | — |
| Mathematics for Computer Scienceby Lehman, Leighton and Meyer | 8 | 4 | 67% | 1 | — | — |
| Numerical Recipesby Press et al. | 7 | 1 | 88% | 5 | — | — |
| Concrete Mathematicsby Graham, Knuth and Patashnik | 7 | 0 | 100% | 4 | — | — |
| Analysis Iby Terence TaoThis page | 4 | 0 | 100% | 4 | — | — |
What people said
All 4 comments that mention it, newest first. Each links to the original comment.
“it builds up in a somewhat "dry" but actually very accessible and methodical way”
“it's really good but my main problem was that I wasn't able to know if my proofs are correct”
“I never thought I'd enjoy reading pure mathematics.”
“when you have a fields medal winner publishing lean4 formal proofs on github to go with one of his books you are making a lot of progress”
Counts come from 1,795,640 Hacker News comments, November 2025 to November 2026. How we count. Report a mistake.