Computing uses symbolic logic – a development on basic algebra that was a new discovery in Ada’s day. Ada’s maths teacher, Augustus De Morgan, was a pioneer in the field, corresponding with the self-taught mathematician George Boole (1815–1864). It is fair to say that there isn’t a piece of technology on the planet that is operating right this second without using Boolean logic. It’s the basis of computing. And it’s down to True or False.
Another unlikely alignment in Ada's life. But the simple fact is that amongst all these men whose names are immortalised in the fundamental laws of computer science, the person who connected the dots, and saw the future, has no reference in the fundamentals of computing, because why would any man credit a woman with genius?