30 Sept 2025 Daily Log

Fermat Saga Begins

Maths

The Fermat Saga, basically series of events that led to the working towards a proof for FLT. I mostly read through this chapter today trying to really understand what's the author needs the reader to get out of the chapter, so i'll be spending some more time on this instead of moving on to the next topic without fully gaining a grasp on what is expected from this chapter.

Notes from The Language of Mathematics: Keith Devlin

Spent the rest of my evening catching up on the Terence Tao 3hr long podcast with Lex Fridman, where i also learnt about the Lean Programming Language An interactive theorem prover and programming language with imperative syntax for mathematic expressions. I was able to write my first hello world program using Lean. Here's an example

#eval String.append "Hello " (String.append "World " "Bros")

Prayer

Bible verse of the day was Isaiah 60:3 KJV.

And the gentiles shall come to thy Light, and kings to the brightness of thy rising

Language

Day 60 on Duolingo 🎉