I'm not convinced that scientific formalism is always necessary or valuable. "Computer Science" is an anachronism that arose due to the sort of people who built

I'm not convinced that scientific formalism is always necessary or valuable. "Computer Science" is an anachronism that arose due to the sort of people who built the first computers and the sort of reasoning they valued. It would have been bizarre to complain about how pointillism in art lacked fundamental theory when artists first embraced it. If people want to play around with a new approach to computing and spend some money doing so, I don't think having them sit down and prove theorems about optimal data structures is strictly necessary. Maybe it won't be mathematically perfect on the first go around, but who cares?