Syllogism Machines: Why Logic Was the First AI — And Why It Failed

The first AI program proved theorems in 1956. Seventy years later, we're still building syllogism machines — bigger, faster, more eloquent. They still don't think. The first artificial intelligence p