Здравствуйте, незнайка.незнаек, Вы писали:

НН>Здравствуйте, Sinclair, Вы писали:

S>>Здравствуйте, незнайка.незнаек, Вы писали:
S>>>>Можно ли считать такую программу верной?
S>>Ответ на вопрос где?
НН> Но в следствии предопределенного сегмента использования неверная программа будет работать верно. разве не логично? Это в некотором смысле и есть оттенок эвристики, как по мне.
максимум, что мы можем тут ожидать понижение вероятности ошибки при сегментировании. сегментировании с ваших слов. но исключить ошибку мы вря дли сможем.

НН> вероятно да тру, а вероятно фолс. Вот эвристика же позволяет в процессе, если любая формальная система использующая арифметику (логически неполную) в следствии этого использовать формальные системы в науке не смотря на неполноту, что тоже неверность.
из всего, что я прочитал мне лично так и не ясна ваша логика.

НН> Смотря как определить смысл. если для вас это в любом случае императив, то конечно без получения на вопрос ответа о верности программы нельзя двигаться дальше. эвристика же очевидно с этим не согласна
пока это больше похоже все на болтовню, никак не подтвержденную практикой.