I have been on an ancient Greek kick for the last few months. It started for me with the The History of the Peloponnesian War by Thucydides, but there are many paths down this rabbit hole I'm sure.
To be honest I always wondered why we are so focused on ancient Greece vs any other civilization. I assumed it was cultural affiliation, and probably better records. But I've certainly changed my mind. It is important because of the core radical idea - there is no greater power than the power of not believing in magic. Not only was this the first broad rejection of magic, but the lesson was pretty much forgotten until the renaissance. Even today we are quick to accept magic explanations when they suit us, and not just those of us who are religious. We really do need to always come back to this.
We need to look for the magic in any argument or process. So much out there is dressed in data and logic, but pivots on one or two key pieces of magic. Asimov famously said, "Any sufficiently advanced technology is indistinguishable from magic". The reverse is also true though - any untested assumption is also indistinguishable from magic.
Closer to my reality, in code we often rely on magic without really being aware of it. If your program/simulation doesn't have a handle on the inputs, or doesn't fully understand the transformations, correct output can only come from magic. Large code bases will not magically self organize. Unit testing your assumptions will not magically validate your assumptions. Even assumptions about the utility of your code requires magically jumping into the heads of people other than yourself.
That isn't to say code can only be used for known domains or every line requires a proof, just we need to know and mark the magic parts. I think the amount of it will surprise us, but it will lead to less surprises down the road.
So, first question from here on, where is the magic?