Исходное сообщение
"ОС Minix получила финансирование в размере 2.5 млн. евро" Отправлено pavlinux, 29-Апр-09 03:04
> Вывод не верный. Из теорем Гёделя не следует не только то, > что это развод, на бабло, чушь, тупик, или даже полный мысле-дэдлок. Ну это я конечно разукрасил... То что дядька Таненбаум талант - никто не сомневается (хотя из того же Гёделя, получится что люди этого доказать не смогут :)) Не об этом, а о том, что эти 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  имеют нужные значения, а не попарно равные??? Ну и так далее...