Chances are that if you ever bought any electrical tool in your lifespan, these tools sitting in your house are built with electronic components, axiomatic systems, and most importantly programming languages.
On Mind, Language and Machines Utopian for Beginners Design Patterns and the Tower of Babel Terence McKenna - Searching For Patterns