>>29
Mathematics provides a framework for dealing precisely with notions of ``what is.'' Computation provides a framework for dealing precisely with notions of ``how to.''
You can have ["how to" determine "what is"], but you can't have ["what is" "how to"].