Python is much loved by developers for its ease of development, its low time to minimum viable product and, some might say, its dynamic typing. I’ve been using dynamically typed Python for the better part of a decade now, for those same reasons. Dynamically typed Python is rapid to develop in, features amorphous blobs of data and works great for writing code quickly. Gradual typing and static analysis split the difference between the reduced velocity of a strongly typed language and the likewise reduced velocity of maintaining code where the input and output data types are unclear.

Studying The Elements of Euclid reveals the foundations of mathematical rigour and the systems through the lens of which we see the world today. Though the end result of the concepts covered in many of the books of the Elements will be familiar to those who have completed high school maths; seeing Euclid’s system come together to weave the fabric of maths and understanding the proofs from first principles is another matter entirely.

Alfred North Whitehead’s An Introduction to Mathematics takes us on a journey of broad strokes, one that traverses the history, notation, and application of mathematical fields. An Introduction to Mathematics is a practical book on theory, great for enticing the study of math at the university level. While covering introductory material, it introduces elegant mathematical insights that will intrigue the reader. It illustrates the principles of generality, form, variable, and abstraction as the elements of mathematics.