1 +1−0 | Александр Ярошевский | 18:53:03 19/02/2015 | ||||||
| ||||||||
"Это делается по следующей схеме: пусть есть некая задача, для которой требуется установить ее неразрешимость. Тогда предположим, что она разрешима, и попытаемся, используя этот факт, написать алгоритм решения проблемы остановки. Если это удастся, то мы придем к противоречию, ведь известно, что не существует такого алгоритма. А значит, предположение было неверным и исходная задача также неразрешима." Мы придём не к противоречию, к установленной не разрешимости задачи, что выполненно и на этом всё. Флажковые системы. Или тупо говоря "мы прийдём к результату с отрицательным значением. А если изначально нам требовалось подтвердить неразрешимость, то мы её не подтвердили, а разрешили с отрицательным результатом. Короче теория ересь. Первые три пункта более критичны. В смысле решить кто из двух жертв более достоин жизни - это сильно усложнит работу программисту. Хотя по распознаванию военной техники всё элементарно. |