The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



"Фреймворк для написания защищённых драйверов для ядра Linux ..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для контроля за появлением новых сообщений - перед выходом жмите "Пометить прочитанным".
. "Фреймворк для написания защищённых драйверов для ядра Linux ..." +/
Сообщение от Аноним84701 (ok), 01-Сен-19, 16:30 
>> как это низко
> Согласен. бла-бла-бла
> зачем-то давать ссылки на словарные статьи,

Вообще-то, это два доказательства теоремы, на что намекает "proof" в ссылке.
Но видимо пройти по ссылке слишком сложно, как и уточнить значение слова "теорема", лучше продолжать   нелепые оправдания в комментариях?

> простое было "Теорема Райса это утверждение из теории алгоритмов". Довольно простое
> предложение для уяснения, но наш Аноним84701 не смог выполнить процедуру чтения

Т.е. сказать этим ты хотел ровным счетом ничего и сравнение фиолетовой теории большого взрыва и теплой _теоремы_ Райса было болтологией? Примерно это я и подозревал.
Загугли хотя бы "проблема остановки", "машина тьюринга", "полнота по Тьюрингу" и не делай нам больше смешно.

Ответить | Правка | Наверх | Cообщить модератору

Оглавление
Фреймворк для написания защищённых драйверов для ядра Linux ..., opennews, 01-Сен-19, 10:24  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру