It's interesting to discuss mathematical literacy with primary school teachers, mathematicians, statisticians, data scientists. I do periodically. Primary school teachers respect core fundamentals as kids acquire "mental muscle memory" and realize they have to both create some axiomatic knowledge (axiomatic in as much as you know 9x9 is 81 from rote recall, not because of a belief in inductive reasoning) as well as t…
> Mathematicians are very much in davis/hersh "what is mathematics anyway" This reminds me of getting my CS degree in the early 2000s, then slowly realizing that my comp-sci program had taught me lots of interesting things about how computers and programs work, and essentially nothing about how to write code for a living. Also reminds me of playing Dominion (the card game) with another student, me saying "Okay, I've…
I arrived at university expecting to be writing a lot of programs and was soon struggling with a heavy load of mathematics and proofs. Our introduction to computer programming professor made it clear that that class was the only one where we would be taught to program. Computer science, he said, was mostly done with paper and pencil.
It wasn't quite true. We eventually did a lot of programming, but it was nothing like I was expecting.