In this episode, I hope to illustrate some of the ideas about logic and formal systems that emerged around the turn of the century. The work on logic as it pertains to human thought paved the way for the explosion of invention and enterprise that we'll discuss soon, as we're getting closer to the introduction of the electronic technology that in some sense embodied these ideas, ushering in the digital age.Read More
Up until this point in our journey, we've talked about the origins of computation, reaching way back to the emergence of the abacus and similar accounting instruments in ancient Mesopotamia and China. We've covered the inventions of many great thinkers like Pascal and Leibniz, most recently Charles Babbage’s concepts of the Difference and Analytical Engines and examined the story of Ada Lovelace and her extraordinary vision of the great implications that these types of machines would have on the world.
In this episode we’ll turn to the life of a philosopher and mathematician whose name is recognizable to any software developer and perhaps also known to anyone who's studied a bit of logic or mathematics - and that's George Boole.Read More
In this episode, we continue our discussion about Ada Lovelace.Read More
In this episode, we'll explore two fascinating figures whose work intertwines in the mid nineteenth century. We'll talk about Charles Babbage, who conceptualized the first general purpose programmable computer and whose ideas are still reflected in the architecture of modern computer design. We'll also talk about Ada Lovelace, who fervently studied Babbage’s designs and was perhaps the first person to envision the true potential that machines would have more than one hundred years before anything like them would exist.Read More