> Вывод не верный. Из теорем Гёделя не следует не только то,
> что это развод, на бабло, чушь, тупик, или даже полный мысле-дэдлок. Ну это я конечно разукрасил... То что дядька Таненбаум талант -
никто не сомневается (хотя из того же Гёделя, получится что люди
этого доказать не смогут :))
Не об этом, а о том, что эти 2.5 ляма это может быть даже плата за ОТРИЦАТЕЛЬНЫЙ,
как известно всем, тоже результат. И потратив 2.5e6 сэкономят гораздо больше, чем
в реальных лабораториях, где каждый программер зарабатывает по 25.000e в месяц.
------------------------------------
Про Гёделя:
x = a;
y = b;
if ( x == y ) - ИСТИНА, ТО из этого мы можем только заключить, что x = y, но не а = b;
КАК ПРОВЕРИТЬ ЧТО в условии if ( x == y ) мы сравниваем a и b, а не другие равные значения?
Только внешним сравнением if ( (x == y) == ( a == b ) ),
но теперь мы сравниваем (x == y) и (a == b) как доказать что x, y и a, b имеют нужные значения, а не попарно равные???
Ну и так далее...