Size: a a a

2021 March 29

AT

Alexander Tchitchigi... in fprog_spb
kushti khushi
но ведь мы берем машину с пустой памятью (или в памяти лишь правила вывода и аксиомы, полиномиально машины приводимы друг к другу все равно в интерсующих нас вычислениях) изначально
Так память как раз не пустая: в ней записана программа и/или данные для неё. 😉
источник

AT

Alexander Tchitchigi... in fprog_spb
Понятно, что можно посчитать количество информации в каждой формуле в выводе, и оно у них у всех будет больше нуля. Я не про это говорю. Я говорю, что "новой" информации там не будет. Потому что все формулы составлены из частей уже полученных до них формул.
источник

f

fldlg2 in fprog_spb
А разве каждая новая комбинация "уже полученного до" не есть новая информация?
источник

AT

Alexander Tchitchigi... in fprog_spb
fldlg2
А разве каждая новая комбинация "уже полученного до" не есть новая информация?
Это как посмотреть. Поэтому "новая" у меня везде в кавычках. 😉
источник

kk

kushti khushi in fprog_spb
Alexander Tchitchigin
Понятно, что можно посчитать количество информации в каждой формуле в выводе, и оно у них у всех будет больше нуля. Я не про это говорю. Я говорю, что "новой" информации там не будет. Потому что все формулы составлены из частей уже полученных до них формул.
Только интересно ли это в мире где мы ограничиваем себя полиномиальным размером памяти и вычислений, соответственно, не храним всех формул ?
источник

AT

Alexander Tchitchigi... in fprog_spb
Но для меня комбинация уже известных подформул одним из пяти (плюс-минус) операторов - недостаточно "новая". 😂
источник

AT

Alexander Tchitchigi... in fprog_spb
kushti khushi
Только интересно ли это в мире где мы ограничиваем себя полиномиальным размером памяти и вычислений, соответственно, не храним всех формул ?
Слишком "философский" вопрос для меня. 😅
источник

AI

Andrey Ivanov in fprog_spb
алфавит 0 и 1, бинарная аппликация - ну что принципиально нового можно написать такими ограниченными средствами? )
источник

AV

Alexander Vershilov in fprog_spb
Хороший компилятор лисп
источник

AV

Alexander Vershilov in fprog_spb
Это точно что-то новое
источник

f

fldlg2 in fprog_spb
Alexander Tchitchigin
Но для меня комбинация уже известных подформул одним из пяти (плюс-минус) операторов - недостаточно "новая". 😂
Тогда нам необходимо узнать Ваше определение новизны. Или "новизны".
источник

AI

Andrey Ivanov in fprog_spb
Так оно тоже будет не ново, составленное из 33 символов алфавита по правилам комбинирования
источник

AT

Alexander Tchitchigi... in fprog_spb
fldlg2
Тогда нам необходимо узнать Ваше определение новизны. Или "новизны".
Не, я уверен, что Вы и без него проживёте долгую и счастливую жизнь! 😄
источник

AT

Alexander Tchitchigi... in fprog_spb
Alexander Vershilov
Это точно что-то новое
Отличное замечание! 👏😁
источник

kk

kushti khushi in fprog_spb
fldlg2
Тогда нам необходимо узнать Ваше определение новизны. Или "новизны".
кстати, определения информации , что по Колмогорову, что по Шеннону, и так завязаны на новизну
источник

kk

kushti khushi in fprog_spb
поэтому новизна информации нуждается в разъяснении
источник

AT

Alexander Tchitchigi... in fprog_spb
Andrey Ivanov
Так оно тоже будет не ново, составленное из 33 символов алфавита по правилам комбинирования
Уверен, что Вы-то прекрасно понимаете разницу, но если вдруг кто-то другой не понимает, то разница эта между тем, чтобы записать на ленту МТ что-то "принципиально новое" "из головы" или "с потолка", и увидеть на ней после работы программы что-то, что не было записано на неё в начале.
источник

AT

Alexander Tchitchigi... in fprog_spb
kushti khushi
кстати, определения информации , что по Колмогорову, что по Шеннону, и так завязаны на новизну
Не читал, к сожалению, ни Шеннона, ни Колмогорова, но Винер определял информацию как сигнал, на основании которого агент совершает выбор между несколькими вариантами действия (ответа как частного случая).
источник

kk

kushti khushi in fprog_spb
Alexander Tchitchigin
Уверен, что Вы-то прекрасно понимаете разницу, но если вдруг кто-то другой не понимает, то разница эта между тем, чтобы записать на ленту МТ что-то "принципиально новое" "из головы" или "с потолка", и увидеть на ней после работы программы что-то, что не было записано на неё в начале.
если правила вывода позволяют Тьюринг-полноту, то она выведет это ваше "принципиально новое" (если вы это выводите другой Тьюринг-полной системой), если нет каких-то доп ограничений (вроде полиномиального времени, но от какого параметра?)
источник

AI

Andrey Ivanov in fprog_spb
По поводу новизны вспомнилась одна рецензия - в вашем труде много нового и интересного. жаль только, что все интересное не ново, а новое не интересно
источник