Syntactics and Semantics
I don’t usually do purely mathematical posts, but this topic really fascinated me and I want to share it. If you think about it, math is formal language we created to help us describe the world. It is extremely rigorous and in the end, and very importantly, it seems to make sense to us. In the early 1900s, Bertrand Russell worked on Principia Mathematica, a set of rigorous proofs of what we consider fundamental truths in math....