“Having a common and simple language can sometimes be the key to progress. The ancient Greek mathematician Archimedes discovered many specific results of calculus, but could not generalize the methods because he did not have the language of calculus. After this language was developed in the late 1600s, hundreds of mathematicians were able to produce new results in the field. Now, calculus forms an important base of our modern civilization.” (lesswrong.com, An Intuitive Explanation of Solomonoff Induction - LessWrong)
Spurred a lot of my initial thoughts on A unifying language enables further discovery