I'm (slowly) reading Kurt Goedel's incompleteness theorem. In 1931, he developed his own notation and used it to concatenate strings of symbols, merely as a building block in a larger proof. This was at least 10 years before programmers would be able to instruct a running computer to concatenate strings. He'd be a frustrated genius if he had the idea today because most people still don't understand his insights.