title: Is programming a subset of math?
body: <p>I've heard many times that all programming is really a subset of math. <a href="http://c2.com/cgi-bin/wiki?ProgrammingIsMath" rel="noreferrer">Some suggest</a> that OO, at its roots, is mathematically based, but I don't get the connection, aside from some obvious examples:</p>
  
  <ul>
  <li>using induction to prove a recursive algorithm,</li>
  <li>formal correctness proofs,</li>
  <li>functional languages,</li>
  <li>lambda calculus,</li>
  <li>asymptotic complexity,</li>
  <li>DFAs, NFAs, Turing Machines, and theoretical computation in general,</li>
  <li>and the fact that everything on the box is binary.</li>
  </ul>
  
  <p>I know math is very important to programming, but I struggle with this "subset" view.  In what ways is programming a subset of math?</p>
  
  <p>I'm looking for an explanation that might have relevance to enterprise/OO development, if there is a strong enough connection, that is.</p>