Post

Terry continues to emphasize an understanding-based approach to math rather than a strictly problem-solving one. Learn more about his idea of math as a way of thinking in SIX MATH ESSENTIALS, coming Nov 10: www.quantabooks.org/books/six-ma...

quantabooks.orgSix Math Essentials - Quanta BooksThe “Mozart of mathematics” invites readers on a brief tour of six core ideas—numbers, algebra, geometry, probability, analysis, and dynamics—that capture the beauty and power of mathematical thinking...

0 reposts0 likes

Meanwhile, per @wsj.com: Lean & LLMs “have forced mathematicians for the first time in more than a century to reckon with…their field.” Kevin Hartnett’s (@kevinhartnett.bsky.social) book on Lean’s story is just what readers need to understand the news. Read more: www.quantabooks.org/books/the-pr...

quantabooks.orgThe Proof in the Code - Quanta BooksThe inside story of Lean, a computer program that answers the age-old question: How do you know if something is true?