9的平方根可以被计算机程序求解，但“9的平方根”并不等于“具体硬件上求解9的平方根的程序”