The title today is a reference to Douglas Adams' description of writing a book as "putting a hundred thousand words in a cunning order." It's technically a correct description, but it doesn't really describe how anyone actually does it in practice. Just so, while it is technically true that one builds a proof by putting many inferences in a clever order, it doesn't describe how to actually do this.

A proof, like a book, is a collection of narrative threads---understand how to build narrative, and you will start to understand how to write a proof.

Read the full post (for free) on Substack: Putting a Hundred Inferences in a Cunning Order

Hello! I need some problem books to accompany the book Differential Geometry of Curves and Surfaces by M. Di Carmo. Thank you!

Same as above

Is it elementary or notoriously massive and is there any approaches(feel free to discuss about any heavy machinery approaches too) around which you think it(the diophantine equation) can be showed to have finitely many solutions given the specific constraint?