- in 17th century [[Gottfried Leibnitz]] proposed a machine that could take in a statement, & output true or false based on the axioms of mathematics