Tôi thực sự không biết tại sao điều này cần phải nói, nhưng chúng ta có thể ngừng giả vờ rằng một dòng chứng minh toán học có lỗi thì nghiêm trọng hơn một dòng mã có lỗi không? Chắc chắn rồi. Một số thì có. Tôi sẽ cược (theo nghĩa bóng!!!!) rằng bài báo toán học được công bố trung bình có > 0 lỗi. Mà không làm mất giá trị.