The most beautiful and inspiring insight I have ever had in my life was in the realization that at the highest levels language, math, philosophy and computer science all merge into a single whole.
I had the first inkling of this insight when I was taking a computer course on parsing english sentences using scheme, a dialect of lisp. Then I took a language class and we had to parse sentences there. I finally took a high level philosophy class and we studied how to parse language into structures and how to look at the meaning of those words in a higher level structure that pulls out their meanings, and examines the assumptions that need to be made to understand the meanings behind a sentence.
Math and logic are just a precise formal language. Language encodes meaning. Every system of logic has basic axioms that you can only assume are true. Typically these axioms are simple enough to be seen as true just based on common sense. Trying to program a computer is