Symbol Manipulation

The roots of the hypothesis go back to the programme of fraga and of whitehead and russell for form formalizing logic. And by incorporation, all of mathematics was a game played with meaningless tokens according to certain purely syntactic rules. Thus, progress was first made by walking away from that seemed relevant to meaning ind human symbols. We could call this the stage of formal symbol manipulation.