AI, The Real History: McCorduck’s Machines who Think

“The occupational activities of children are learning, thinking, playing and the like. Yet we tell them nothing about those things.”  per AI Pioneer Seymour Papert –  In Pam McCorduck’s Machines who Think, (an outstanding book; Pam is a great author, turns out she’s the wife of Joe Traub who was Computer Science Dept Chair at Carnegie Mellon University & Columbia University … and had amazing insight into the real story 🙂 – not found elsewhere ) https://amzn.to/2FwGmIu 

EXCELLENT EXCELLENT BOOK … It’s really packed with amazing insights and details hidden from the public view …

I didn’t realize Papert’s connection with Piaget and his deep understanding and interest in how children learn.  Of course Papert and Minsky’s Perceptrons were widely known [ and got a refresh boost . The Perceptron. ideas… which, in prehistoric times, with Marvin Minsky, helped pave the way to the AI we know today. — that’s where the real action was and maybe still is …  check the reboot. over at  https://amzn.to/2TNjok7

 

Advertisements

Voevodsky and Computer verification of mathematical reasoning

 

Vladimir Alexandrovich Voevodsky Winner of the 2002 Fields Medal passed away earlier this year. Way too early.   Explore his UNIVALENT FOUNDATIONS (2014), where he stated:

I   think it was at this moment that I largely stopped doing what is called “curiosity-driven research” and started to think seriously about the future.  … It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning.