Цифровая физика, мультивселенные, нелокальность и т.п. космологический оффтоп

[незлой]

у естественных языков со строгостью сильно похуже, чем в математике. разброс будет плюс-минус лапоть, кмк.

[otu K.]

Для племени не знающего об окнах и гигиене

хорошо, уберём такие племена из рассмотрения, оставим только основные языки цивилизации. получим константу или некое распределение?

[Sensy]

разомкнуть? под какую ножку подсунуть теорему о неполноте?

Вот. Второй раз в теме упомянута теорема о неполноте формальных систем. Это(неполнота) может быть решено в тернарной, n-арной логиках?

[гравицап]

Для племени не знающего об окнах и гигиене

хорошо, уберём такие племена из рассмотрения, оставим только основные языки цивилизации. получим константу или некое распределение?

Для мозга константа, для искусственного носителя по разному.
Мозг оперирует понятиями
А искусственный носитель символами

[mbrane]

Если быть точным ,то дважды два четыре -это не математика. Это язык.

математика - это язык. для вас - это открытие?

[mbrane]

БЕЗ их родителей одних и предположить что они выживут -ТО еще не известно будет ли в их "математике" 2х2=4 или нет. 

глупость... налюбой планете 2 ряда ао  камня будет 4 камня... если мы таки говорим о людях - то они рано облалает неким специффическим АЛУ в верхней части тела и придут к мысли что лю бы два ряда по два предмета вне зависимоти от природы этих предметов дадут 4 предмета

[mbrane]

БЕЗ их родителей одних и предположить что они выживут -ТО еще не известно будет ли в их "математике" 2х2=4 или нет.

глупость... налюбой планете 2 ряда ао  камня будет 4 камня... если мы таки говорим о людях - то они рано облалает неким специффическим АЛУ в верхней части тела и придут к мысли что лю бы два ряда по два предмета вне зависимоти от природы этих предметов дадут 4 предмета

логика ещё более аксиоматична, чем математика.

бессмысленный набор русских букв...впрочем в языке под названием математика - вообще не запрещено строить никакие  формулы например \(\forall_A x+\exists_0 \wedge= \exists_R\iff \) - вполне допустимая формула, но нерелизуемая никакой моделью - а это другое понятие

[Sensy]

Дали обезьянке 2 палочки. Просят: дай нам одну. Та притягивает 1 палочку, ну, типа, нате.
Вторая итерация опыта с 2-мя палочками. Дай 2-е. Подопытная тянет 2 палочки.
Третья итерация с 2-мя палочками. Дай 4. Ничтоже сумняшеся она ломает палки, и протягивает великому учителю. Подавляющее большинство сапиенсов курили больше 20ти секунд.
Вопрос. Что сделала обезьянка? Ответ оформлять формально.

[mbrane]

ваша реплика родила интересную кмк идею, перевести на все языки "мама мыла раму" и посчитать количество информации в утверждении на каждом языке. должно быть константой, или как?

есть токая ноуко -называется адгортимичская теория информации...дык вот она утверждает,что все тьюринг-полные языки одинаковы в своей выразительности  - или по другому \(|\cdot|_R\)-алгоритмическон содержание(сложность) строки в языке R (длина алгоритма которыей реализует строку), то для тьюринг-полных языков  для любых L и R сушествует константа \(С=C(L,R)\),что для любой строки x

\(|x|_L\le |x|_R+C\)

человеческе языки тьюринг -полные - ибо позволяют описать африфметику... LaTeX - на коем написаны формулы данного поста тоже тьюринг -полный язык 

[otu K.]

бессмысленный набор русских букв..

типа ты камерад  не знаком с основами логики? там одни аксиомы

есть токая ноуко -называется адгортимичская теория информации

не засерай мне оперативную память своим мусором,камерад. вопрос конкретный, будет ли в разных языках определятся постоянное количество информации или нет

[otu K.]

Для мозга константа

даже если он не знает этих языков?

для искусственного носителя

а вот здесь подробнее, что значит "искусственный носитель"

[mbrane]

не засерай мне оперативную память своим мусором,камерад.

не льсти себе... у тебя нет рецепторов , способных  к возбуждению при виде этих  крючочков

[otu K.]

при виде этих  крючочков

крючкотворец ты наш. логика во мне зашита жёстко, я мог бы и не изучать формальную логику, логику предикатов и математическую логику, сиречь теорию множеств... крючкуй далее...

[mbrane]

крючкотворец ты наш. логика во мне зашита жёстко

ну к примеру у куриц тоже и шо с того... у них тоже нет рецепторов, кои способны понять абстракции вшитые в написанную формулу...

[гравицап]

Для мозга константа

даже если он не знает этих языков?

для искусственного носителя

а вот здесь подробнее, что значит "искусственный носитель"

1Естественно для тех кто знает
2все что угодно
Можно накарябать на березе, можно на флешку

[EmperioAf]

Дали обезьянке 2 палочки. Просят: дай нам одну. Та притягивает 1 палочку, ну, типа, нате.
Вторая итерация опыта с 2-мя палочками. Дай 2-е. Подопытная тянет 2 палочки.
Третья итерация с 2-мя палочками. Дай 4. Ничтоже сумняшеся она ломает палки, и протягивает великому учителю. Подавляющее большинство сапиенсов курили больше 20ти секунд.
Вопрос. Что сделала обезьянка? Ответ оформлять формально.

Формально не смогу. А неформально примерно так:
сначала обезьянка пытается выполнить действие также как и обычно. Т.е. найти глазами 4 палки, взять их и перенести ближе к великому учителю.
Далее после того, как обезьянка не смогла найти 4 палки,  она смотрит глазами вокруг, чтобы посмотрев на каждый предмет, понять можно ли из этого получить палку.
Если когда либо обезьянка получала информацию, что палку возможно сломать, то вероятно, что она догадается.

Правдоподобная гипотеза?

[otu K.]

Можно накарябать на березе, можно на флешку

то есть для правильного восприятия нужно эту фразу протелепать, иначе она будет на "искусственном носителе".

1Естественно для тех кто знает

полиглотов мало, фраза просто переводится и затем определяется количество информации в ней

[loky1109]

Вопрос. Что сделала обезьянка? Ответ оформлять формально.

Очевидно, что обезьяна произвела акт физического умножения.

[mbrane]

Очевидно, что обезьяна произвела акт физического умножения.

сомнительно... а если палки камнями заменить - стала бы она их ломать?

[loky1109]

сомнительно... а если палки камнями заменить - стала бы она их ломать?

Если бы могла.