传统数学和计算机的关系