54 A NEW ALGORITHM SHOWING WHAT COMPUTERS CAN AND CANNOT DO 体现计算机能力的新算法