The US marines in particular went through a massive transformation int he 80's after their experience in Vietnam. The name people want to look up is John Boyd.
I would hazard a guess the average Marine officer knows more about Kurt Gódel's incompleteness and its real life applications than the average techie.
Boyd's ideas are laid out really well by his acolyte Chet Richards in his book Certain to Win which applies the military theories to business. If interested at all in this space, check it out.
Thanks for bringing up Boyd. He was my inspiration for joining the military actually. The OODA loop is in my opinion the best template for how to approach problems.
I would hazard a guess the average Marine officer knows more about Kurt Gódel's incompleteness and its real life applications than the average techie.