orangutango
My main point is I disagree with the view of mathematics as nothing more than some axiomatic program-- in 1903 many were hopeful that a system (like Russell's formal logic in Principia) could simply generate the truths of mathematics. Gödel shattered that dream.
Cue Gödel... [1]
[1] https://en.m.wikipedia.org/wiki/G%C3%B6del%27s_incompletenes...
I always thought: we work 40 hours a week because we work 8 hours a day; and we work 8 hours a day because Robert Owen's mantra "Eight hours' labour, Eight hours' recreation, Eight hours' rest" caught on.
I was a very math oriented student at a high school with a heavy bias towards liberal arts ... So when it came to picking senior year electives, I was delighted to enroll in AP statistics.
The classes turned out to be tutorials on the built-in TI-83 stats functions, with step-by-step instructions on how to answer the various types of questions we would encounter on the test. I forgot everything and gained virtually no statistical intuition.
Thankfully I had a similar experience to you ("Probability and Statistics for Engineers") with a fantastic professor who researched computer networks. His lectures were sprinkled with tangents tying the current topic back to his own field / research, which to me made the biggest impact. Contextualizing a taught subject markedly improves the course experience.