To put the discussion into context, let us start with an anecdote.
The deaf composer
In a town there lived a music composer who had conceived a theory on the musicality of music. He was extraordinarily gifted and could actually recognize the patterns that made some sequence of notes musical, some discordant, and some in between. The composer wanted to develop and propagate his theory. He was so ambitious in his objective that not only did he want to specify a rule that would tell one which pieces will be musical and which not, he also wanted to invent a formula that would quantify the musical quality of a piece. In fact, he even wanted to develop a recipe that would produce good music!
Unfortunately, the composer lived in an era when musical notation was not yet invented. So the only way he could communicate his ideas was through actual demonstration. His ideas, naturally, did not propagate very far. Firstly, they were limited to his students and friends. Moreover, how much of his ideas would be grasped in a demonstration was crucially dependent on the perceptibility and sensitivity of the audience. The communication of the ideas through his followers was even more vulnerable to distortion because it was also heavily dependent on the quality of demonstration, in addition to the sensitivity and perceptibility of the recipients. So each layer of prospective followers in the chain was receiving an increasingly deviated version of the original theory. As was to be expected, the distorted versions of the theory were more and more, less and less impressive. The future of the theory looked grim! Our composer became very depressed at the inevitable fate of the science that he had given birth to.
At this point a mathematician in the town, who had only a modest appreciation of music, developed a scheme by which music could be represented in a visual form as a script, much the same way that spoken words are scripted using alphabets and punctuation. This was the birth of the musical notation!
Our composer immediately realized that this could save his theory. So he took the plunge and invested all his time and energy into developing and writing up his ideas in the newly invented language. He wrote down all the facets and features of his musical theory, starting from the recipe of identifying a truly musical piece to the formula for creating one. The results were exactly as he had expected. In a few years, there was an immense following of his theory. With the distortions hugely minimized, people really began to appreciate the true content and merit of his work. It was all because the visual, scripted representation provided a much more objective character to his theory; it was now much less open to subjective, personal interpretations.
Our composer quickly became a famous man. He came to be recognized as a father figure of the science of music. However, it was only after many years that he received his highest accolade. It was at a concert where he was invited as the chief guest. The showstopper of the evening was a piece composed by a young man about whom our composer had not even heard of before. The performance was so overwhelming that it left the audience speechless for some time. Then the entire audience rose to give the young composer a standing ovation. As he was being applauded by everyone, the anchor walked up to the middle of the stage and announced: “If you are all astounded by what you heard just now, I have more astonishment in stock for you. Our composer can't hear a single clap that you are showering on him. He was born deaf. He cultivated the art and skill of making music based on the theory and method that was developed by our chief guest tonight!”.
This was a fictional anecdote designed to demonstrate the purpose of what is known as a formal description. A formal description is to its informal counterpart what the scripted version of the musical theory was to its original version (that was almost going to get obliterated). The whole purpose of a formal description is to make it so completely free of subjective human interpretations that even a machine, which is programmed to read the language, will be equipped to use it in spite of the fact that it has no understanding of the underlying reality. Let us then try to illustrate, more concretely, what we mean by a formal description of a theory in the natural sciences.