Origins of Mindstorms

I’ve learnt something today: thanks to the new GeekDad blog. The origin of the phrase “Mindstorms”