Formalizing Fermat's Last Theorem

Re:Formalizing Fermat's Last Theorem by estetlinus on Friday September 04, 2026 @03:24PM (#49569067)

I can recommend the book telling the full story behind Fermats Last Theorem (by Simon Singh). It’s quite fascinating, and paved with really, _really_ weird characters each chipping in on the final solution.

[ Parent | on HN ]

Re:Formalizing Fermat's Last Theorem by aidos on Friday September 04, 2026 @04:10PM (#49569631)

Also recommend his other books!

Big Bang - history of the understanding of space and the universe

Code book - history of the maths of ciphers

Haven’t read them for years but I’ve been meaning to again

[ Parent | on HN ]

Re:Formalizing Fermat's Last Theorem by FergusArgyll on Friday September 04, 2026 @04:14PM (#49569685)

Ooh I never realized FLT and Code book were the same author. Yes, both great!

[ Parent | on HN ]

Re:Formalizing Fermat's Last Theorem by kzrdude on Friday September 04, 2026 @04:39PM (#49569951)

And the multiple Numberphile appearances of Ken Ribet are interesting too! He is incredibly well spoken.

- https://www.youtube.com/watch?v=nUN4NDVIfVI (The bridges to Fermat's Last Theorem)

- https://www.youtube.com/watch?v=NPOw4iIxN6o (podcast)

[ Parent | on HN ]