Индекс форумов |
Исходное сообщение |
---|
"Пятая редакция патчей для ядра Linux с поддержкой языка Rust..." Отправлено Аноним, 14-Фев-22 02:10 |
Полнота по Тьюрингу - это проклятье. Одни проблемы от неё. Если бы мы всё могли вычислять конечными автоматами - было бы вообще отлично, автоматы очень просты структурно, о них можно доказывать теоремы, всяких неразрешимых проблем для них нету в таком количестве. Но увы, увы, не все задачи решаются конечным автоматом, что печально. И магазинным автоматом тоже не все задачи решаются. Вот так и живём (хотя если жёстко по терминам итти, компьютер не машина Тьюринга, а лишь жалкое её подобие, ибо конечная лента ака ОЗУ) |
При общении не допускается: неуважительное отношение к собеседнику, хамство, унизительное обращение, ненормативная лексика, переход на личности, агрессивное поведение, обесценивание собеседника, провоцирование флейма голословными и заведомо ложными заявлениями. Не отвечайте на сообщения, явно нарушающие правила - удаляются не только сами нарушения, но и все ответы на них. Лог модерирования. |
Закладки на сайте Проследить за страницей |
Created 1996-2024 by Maxim Chirkov Добавить, Поддержать, Вебмастеру |