The breathtakingly rapid pace of change in computing makes it easy to overlook the pioneers who began it all. The Universal The Road from Leibniz to Turing explores the fascinating lives, ideas, and discoveries of seven remarkable mathematicians. It tells the stories of the unsung heroes of the computer age - the logicians.
The author, a mathematician himself, explains how the evolution of mathematics and logic led to the idea of a Universal Computer and finally to the creation of an actual computing device. He also touches on where that evolution is leading, with computers playing chess, and starting to reason through AI. What I liked most about this book is how it opened my eyes to the dynamic evolution of mathematics. And also to connections between mathematics and philosophy. I appreciate how scientists of the 17th and 18th centuries have been muti-disciplinary thinkers, free to engage in whatever research they pleased, as long as they had someone supporting them. This resembles how art was created and curated. Don't buy the Kindle edition of this book - the equations used through are misplaced and it makes it hard to follow some chapters.
Awesome history of the mathematical and logical foundations of computer science from Leibniz to Turing.
The philosophical musing at the end were quite poor and did not rise to the level of quality of the presented history. So ignore the last section and this book is amazing.