The OpenNET Project / Index page

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



"Брюс Перенс намерен отсудить у Grsecurity судебные издержки ..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Подсказка: Для контроля за появлением новых сообщений - перед выходом жмите "Пометить прочитанным".
. "Брюс Перенс намерен отсудить у Grsecurity судебные издержки ..." +/
Сообщение от Orduemail (ok), 11-Фев-18, 19:26 
> В мозгу ответ формируется раньше чем человек способен это осознать. И
> этот возникший в сознании ответ он только потом осмысляет и добавляет
> ему аргументы.

Я ещё забыл докинуть, что это совершенно нормально. В том смысле, что другого способа приходить к выводам у человека нет. Поиск всех возможных выводов из имеющихся данных -- это NP-hard проблема, которую решить можно только полным перебором. На полный перебор никаких нейронов не хватит. Поэтому человек использует эвристики -- специально натренированные нейросетки, которые, как бы, "угадывают" интересные выводы. Но эти нейросетки создают много false positive'ов, и поэтому результаты их работы затем формализуются, и проверяются формальными методами. Или, по-крайней мере, более формальными.
Это работает даже в математике: математик сначала придумывает гипотезу, оценивает "на глаз" её правдоподобность, а потом начинает искать формальное доказательство. И подчастую математик заранее уверен в том, что его гипотеза верна, а доказательство находит лишь после этого. Но это ведь не делает математические результаты менее истинными?
И такое положение дел в математике -- это своего рода модель мышления человека в общем. Основное отличие этой модели от обычного мышления в формализации проблемы, гипотезы и доказательства этой гипотезы. Вне математики формализация слабее, и правила вывода не сводятся к правилам логического вывода, а включают в себя и правила статистического вывода, и всякие философские методологические правила, типа принципа индукции (если всегда было так, то значит и в следующий раз будет так), бритвы оккама (простые объяснения предпочтительнее сложных), правил демаркации научного и ненаучного знания, а также они содержат все другие инструменты проверки достоверности утверждений, которые ты освоил.
Так вот, это я к тому, что для обретения достоверного знания, нужно не осознавать, а учить свои мозги проверять утверждения формально, следуя проверенным правилам вывода. Они могут делать это и без участия сознания, но для этого их надо постоянно натаскивать, доводя проверку утверждения правилами вывода до автоматизма.

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

Оглавление
Брюс Перенс намерен отсудить у Grsecurity судебные издержки ..., opennews, 08-Фев-18, 20:00  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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