Logic Gets its Due in Computing History

I remember thinking, when studying formal logic in my undergrad philosophy courses, that computer programming was essentially just another flavour of it. Since then, whenever I’ve read articles about the history of computing, I wonder why they invariably neglect to mention its crucial and rich philosophical origins. That’s what I love about this article in the Atlantic. I feel like it nails much of what is usually—and unfairly—missing.