Исходное сообщение
"На соревновании Pwn2own были продемонстрированы два успешных..." Отправлено Аноним, 08-Мрт-12 19:29
> математически доказанное отсутствие ошибок иногда нужно. Гражданин Тюринг (знаете такого?) в свое время сформулировал и доказал теорему, суть которой сводится к следующему: некая программа не может выдать определенный вердикт относительно другой произвольно взятой программы. Он брал в качестве примера анализ того факта завершится ли программа за конечное время или нет, однако как следствие, это распостраняется и на анализ иных вариантов поведения программ. Вы хотите сказать что Тюринг был дурак, его доказательство ничтожно и один вы тут такой умный, что можете предложить "математически доказанное отсутствие ошибок"? А как это математическое доказательство строится, если Тюринг доказал ровно обратное?

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:
	Введите код, изображенный на картинке: