Y
Fun fact: при помощи дедукции (по построению) нельзя получить никакого нового знания — можно лишь вычленить факты, которые и так содержались (в некотором смысле, по модулю аксиом) в исходном высказывании.
Что такое «новое знание»?
Size: a a a
2021 March 29
AI
Очевидно, невыводимое из аксиом дедукцией )
Y
Очевидно, невыводимое из аксиом дедукцией )
А, ну тогда и спору нет
kk
Ненулевое количество информации по Колмогорову или Шеннону?
kk
Но тогда новое знание при редукции получается таки
kk
По Колмогорову, например
AT
Что такое «новое знание»?
Если пристально посмотреть на правила вывода для исчисления предикатов (например, естественного вывода Гентцена), то заметно, что они только рекомбинируют куски уже имеющихся формул, но никаких принципиально новых формул не конструируют. Уверен, этот факт формализован и доказан, но я этого доказательства просто не видел, поскольку малограмотный.
AI
Поэтому я и спрашивал ссылку на чат училок - хоть какой-то шанс на новое знание
Y
Поэтому я и спрашивал ссылку на чат училок - хоть какой-то шанс на новое знание
Отлично! 😁
IR
Я думала, новое — это которое раньше не знали, а теперь знаем
Ты могла и не знать* пока не подумала пять минут.
* Если "знать" указывает на "может отвечать на вопросы об этом".
* Если "знать" указывает на "может отвечать на вопросы об этом".
AT
Ты могла и не знать* пока не подумала пять минут.
* Если "знать" указывает на "может отвечать на вопросы об этом".
* Если "знать" указывает на "может отвечать на вопросы об этом".
К вопросу "что значит "знать"?" https://t.me/al_tch/255 😉
kk
Если пристально посмотреть на правила вывода для исчисления предикатов (например, естественного вывода Гентцена), то заметно, что они только рекомбинируют куски уже имеющихся формул, но никаких принципиально новых формул не конструируют. Уверен, этот факт формализован и доказан, но я этого доказательства просто не видел, поскольку малограмотный.
Разумеется, аксиоматика и правила вывода определяют язык целиком, но вот с точки зрения вычислительной информация новая в каждом из утверждений есть
AT
Разумеется, аксиоматика и правила вывода определяют язык целиком, но вот с точки зрения вычислительной информация новая в каждом из утверждений есть
Это какая же? 😊
kk
Это какая же? 😊
Количество информации равно длине кратчайшей программы вывода, думаю
AT
Количество информации равно длине кратчайшей программы вывода, думаю
Так это не новая - это старая, это просто кусок информации, выдернутый из "длинного" (полного) вывода. 😄
AT
На всякий случай напомню, что лямбда-термы кодируют деревья (естественного) вывода.
kk
Так это не новая - это старая, это просто кусок информации, выдернутый из "длинного" (полного) вывода. 😄
но ведь мы берем машину с пустой памятью (или в памяти лишь правила вывода и аксиомы, полиномиально машины приводимы друг к другу все равно в интерсующих нас вычислениях) изначально
kk
и по Колмогорову, длина кратчайшей программы перевода в искомое состояние суть и есть количество информации соотносимое с состоянием