Paolo
@learningpaolo.bsky.social
Reposted by Paolo
Tanya Klowden and I have uploaded a further sample chapter to our "cosmic distance ladder" book: terrytao.wordpress.com/books/climbi... . See also the blog post terrytao.wordpress.com/2025/11/21/c...
Climbing the cosmic distance ladder
Climbing the cosmic distance ladder Tanya Klowden and Terence Tao in preparation This project is based on a public lecture on the cosmic distance ladder that I have given on occasion. Working with …
terrytao.wordpress.com
November 22, 2025 at 12:39 AM
Tanya Klowden and I have uploaded a further sample chapter to our "cosmic distance ladder" book: terrytao.wordpress.com/books/climbi... . See also the blog post terrytao.wordpress.com/2025/11/21/c...
Reposted by Paolo
I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...
I’m an award-winning mathematician. Trump just cut my funding.
The “Mozart of Math” tried to stay out of politics. Then it came for his research.
newsletter.ofthebrave.org
August 18, 2025 at 3:45 PM
I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...
Reposted by Paolo
The EU Commission has reversed its plan to drop the Equal Treatment Directive, just days after a petition signed by 33,000+ people was delivered to @vonderleyen.ec.europa.eu. A big win for equality, but the journey is not over. Now the Council of Europe must act www.ilga-europe.org/news/eu-comm...
July 24, 2025 at 11:59 AM
The EU Commission has reversed its plan to drop the Equal Treatment Directive, just days after a petition signed by 33,000+ people was delivered to @vonderleyen.ec.europa.eu. A big win for equality, but the journey is not over. Now the Council of Europe must act www.ilga-europe.org/news/eu-comm...
Reposted by Paolo
We are two weeks out from the start of "21st century mathematics", a program I run for K-12 math teachers. (Register now!) The program helps teachers connect the math they teach with some math that has been discovered in the 21st century. The program is flexible, free, & online.
June 23, 2025 at 2:00 PM
We are two weeks out from the start of "21st century mathematics", a program I run for K-12 math teachers. (Register now!) The program helps teachers connect the math they teach with some math that has been discovered in the 21st century. The program is flexible, free, & online.
Reposted by Paolo
I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean.
Further discussion at terrytao.wordpress.com/2025/05/31/a...
Further discussion at terrytao.wordpress.com/2025/05/31/a...
github.com
May 31, 2025 at 5:32 PM
I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean.
Further discussion at terrytao.wordpress.com/2025/05/31/a...
Further discussion at terrytao.wordpress.com/2025/05/31/a...
Reposted by Paolo
Ten squares. The first example has perimeter 14. The second one has perimeter 22. Can anyone find ones with smaller or bigger perimeters? Or other examples that match these?
Intrigued? Check out "21st century mathematics", an enrichment program for teachers: justinlanier.org/21st-century...
Intrigued? Check out "21st century mathematics", an enrichment program for teachers: justinlanier.org/21st-century...
April 28, 2025 at 11:27 AM
Ten squares. The first example has perimeter 14. The second one has perimeter 22. Can anyone find ones with smaller or bigger perimeters? Or other examples that match these?
Intrigued? Check out "21st century mathematics", an enrichment program for teachers: justinlanier.org/21st-century...
Intrigued? Check out "21st century mathematics", an enrichment program for teachers: justinlanier.org/21st-century...
Reposted by Paolo
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Fermat’s Last Theorem — how it’s going
So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.
xenaproject.wordpress.com
December 11, 2024 at 9:57 PM
Hello Bluesky! (and bye-bye Twitter).
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.
xenaproject.wordpress.com/2024/12/11/f...
Tom Leinster's lovely Axiomatic Set Theory notes are now complete. www.maths.ed.ac.uk/~tl/ast/ast.... #SetTheory #ETCS
November 24, 2024 at 3:23 PM
Tom Leinster's lovely Axiomatic Set Theory notes are now complete. www.maths.ed.ac.uk/~tl/ast/ast.... #SetTheory #ETCS