To do math, or write, or write a computer program, you have to come to terms that expressions (or computations in a in formal logical system) are intrinsically

To do math, or write, or write a computer program, you have to come to terms that expressions (or computations in a in formal logical system) are intrinsically meaningless—the result or machine will blindly follow its internally meaningless rules and come to some internally meaningless conclusion. It may be that some folks pre-accept following rules wherever they might lead, and other folks refuse to deal with the 'meaninglessness'. One way of dealing with it is to learn to apply external meaning/motivators to these models/programs, but I think this is a separate skill, possibly much harder and not taught as such.