[math-fun] Feynman and the Thinking Machine