PPT Slide
A familiar but unemphasized fact is that string manipulation of the four Maxwell's equations is what allowed us to predict electromagnetic waves. From this we can surmise that proper use of language can be a powerful tool to gain information and knowledge about nature. A derivation in mathematical logic in nothing but a step by step procedure to gain information about the subject matter until we arrive at certainties. Thus, linguistics, metamathematics, and information theory are all inextricably intertwined. It follows that information technology can greatly benefit by the study of these subjects.