Подобных случаев можно избежать , если компьютерные программы будут проверяться с той же точностью , что и самые надежные из математических доказательств .
подобный$1554 случай$1592 можно$36 избегнуть$1490 ,$0 если$0 компьютерный$1544 программа$1574 быть$100 проверяться$1542 с$0 тот$2292 же$0 точность$1526 ,$0 что$0 и$0 самый$1544 надежный$1544 из$0 математический$1554 доказательство$1556 .$0