Я действительно не знаю, почему это нужно говорить, но можем ли мы все перестать притворяться, что ошибочная строка математического доказательства по своей сути более катастрофична, чем ошибочная строка кода? Конечно. Некоторые из них таковы. Я бы поспорил (метафорически!!!!), что в среднем опубликованная математическая статья содержит > 0 ошибок. Не отменяя этого.