@ct_bergstrom @jenniferplusplus
It’s a good one. The realization that programming involves forming and refining mental models is crucial and frequently unrecognized; the translation to (from?) science is obvious.
The related treatise on this topic I’m always recommending is Imre Lakatos’s Proofs and Refutations: we make imaginary things, they talk back and surprise us, we reimagine them.