In general, I wish more people understood some elementary facts about global warming, for example, because we observe more warming at the poles, during the wint

In general, I wish more people understood some elementary facts about global warming, for example, because we observe more warming at the poles, during the winter and during the night, and also we observe cooling of the stratosphere, the cause must be in the Earth's atmosphere, it cannot be the Sun. In mathematics, I wish more people knew about typed lambda calculus and its connection to mathematical logic. I think the fact that most mathematicians use predicate logic, while theorem provers use e.g. calculus of constructions is one of the big obstacles for more wide usage of automated theorem provers. But it's just a language barrier. In economics, I wish more people knew about (I don't know the name, unfortunately) the approach to calculating of equilibrium prices that is described in J.M.Blatt's book Dynamic Economic Systems, and is based on input-output production matrices. It's a much more superior approach to the classical supply-demand analysis that dominates the textbooks, because it requires much less free parameters and assumptions.