AI
(тут вводится дополнительная характеристика интересности информации, да)
Size: a a a
2021 March 29
AT
если правила вывода позволяют Тьюринг-полноту, то она выведет это ваше "принципиально новое" (если вы это выводите другой Тьюринг-полной системой), если нет каких-то доп ограничений (вроде полиномиального времени, но от какого параметра?)
Не понял, как это Тьюринг-полнота позволяет получать "новую" информацию "из воздуха"? 🤷♀
AT
МТ же не может генерировать случайные числа хотя бы.
kk
Не понял, как это Тьюринг-полнота позволяет получать "новую" информацию "из воздуха"? 🤷♀
наоборот, не получать?
AT
наоборот, не получать?
Я уже совсем запутался и перестал понимать что Вы хотите донести. Извините, пожалуйста. 😔
AI
Да то же, что и с самого начала - весь квази-спор вокруг того что считать новым - то что не является базисом или то, что в нем невыразимо
AV
Ножи и тюринг полнота — новые, гитары и лисп — старые
AV
Извините
kk
Так ,надо подумать )
kk
МТ же не может генерировать случайные числа хотя бы.
Случайные по Колмогорову? )
AT
Случайные по Колмогорову? )
Колмогоров - велик и необъятен, это вне всякого сомнения. Но тоже не сильно свежие новости. 😊
DG
Это какая же? 😊
Уточняющий вопрос — а если взять за "старые знания" аксиомы евклидовой геометрии, то будет ли содержать "новые знания", например, теорема о равенстве треугольников и/или её доказательство?
AT
Уточняющий вопрос — а если взять за "старые знания" аксиомы евклидовой геометрии, то будет ли содержать "новые знания", например, теорема о равенстве треугольников и/или её доказательство?
Вы пытаетесь перенести моё высказывание в совершенно новый контекст. Я говорил про исчисление предикатов первого порядка и систему естественного вывода. Ну или систему вывода гильбертовского типа. Про геометрию Евклида я ничего не утверждал.
DG
Вы пытаетесь перенести моё высказывание в совершенно новый контекст. Я говорил про исчисление предикатов первого порядка и систему естественного вывода. Ну или систему вывода гильбертовского типа. Про геометрию Евклида я ничего не утверждал.
Так я не говорю, что утверждали)
Я как раз хочу узнать мнение насчёт нового контекста)
Я как раз хочу узнать мнение насчёт нового контекста)
AT
Так я не говорю, что утверждали)
Я как раз хочу узнать мнение насчёт нового контекста)
Я как раз хочу узнать мнение насчёт нового контекста)
Поскольку контекст (для меня) новый, никакого мнения на его счёт у меня нет. 🤷♀
kk
в Питере намечаются мероприятия какие-нибудь?
Y
Fun fact: при помощи дедукции (по построению) нельзя получить никакого нового знания — можно лишь вычленить факты, которые и так содержались (в некотором смысле, по модулю аксиом) в исходном высказывании.
Вот тут вот непонятно, в какой момент это стало про «исчисление предикатов первого порядка»
kk
мне кажется, все о разном говорили )
kk
отсюда полная неразбериха