In the computer

The files are in the computer. It's so simple.

When people talk about "algebraic reasoning", explanations fall flat because we neglect to first figure out kind of reasoning we're contrasting it against. When we write computer code using an operational model, we do think about what we write — so what manner of reasoning are we using? Can we give it a name? And can we explain why it seems so incompati…