> [Hoare, 1996] Counter Hoare (from another thread): http://stilldrinking.org/programming-sucks http://stilldrinking.org/programming-sucks One way to look at

> [Hoare, 1996] Counter Hoare (from another thread): http://stilldrinking.org/programming-sucks http://stilldrinking.org/programming-sucks One way to look at this is to consider the situation with the "science of dealing with numbers" before mathematics gained a rigorous foundational basis. Sure, we do a lot of code but likely not as efficiently and not in an optimally systemic manner. So, yes, you can do some things with "numbers" without theoretical mathematics.