Comment by sevensor

6 years ago

What's missing in this account is all the interesting stuff that came from the attempt to emulate human reasoning. Sure, it didn't get us image recognition or chess mastery, but we have Prolog, much of what we now know as Lisp, and proof assistants. Deep, powerful tools that augment, but do not replace, human cognition.