23:59
Не индукция
Однажды я и представитель дружественной организации налаживали обмен данными между нашими устройствами. Я с нашей стороны, а он -- с их стороны.
И связь была... нестабильная. Данные иногда считывались с ошибками. Мы находили проблемы в своих программах и исправляли их. Но результат всё равно был плохой.
И вот, вроде все проблемы более-менее решили. И я говорю: Ладно. Если 10 раз всё отработает без ошибок, будем считать, что работает.
А второй товарищ отвечает: А давай так. Если на 11-й раз произойдёт ошибка -- я тебя застрелю. Согласен?
В какой-то степени он, конечно, был прав. Полагаться на любое конечное количество измерений, чтобы сделать вывод, что программа не содержит ошибок, нельзя. Но с другой стороны -- как иначе можно подтвердить практическую работоспособность?..
А ошибка возникла гораздо раньше 11-го раза.
И связь была... нестабильная. Данные иногда считывались с ошибками. Мы находили проблемы в своих программах и исправляли их. Но результат всё равно был плохой.
И вот, вроде все проблемы более-менее решили. И я говорю: Ладно. Если 10 раз всё отработает без ошибок, будем считать, что работает.
А второй товарищ отвечает: А давай так. Если на 11-й раз произойдёт ошибка -- я тебя застрелю. Согласен?
В какой-то степени он, конечно, был прав. Полагаться на любое конечное количество измерений, чтобы сделать вывод, что программа не содержит ошибок, нельзя. Но с другой стороны -- как иначе можно подтвердить практическую работоспособность?..
А ошибка возникла гораздо раньше 11-го раза.