Телеграмм чат группы typeslife страница 604

Size: a a a

Типы в языках программирования, моделирования, представления знаний и жизни

505 membersпожаловаться на группу

2021 October 25

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

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

источник

09:23пожаловаться #1

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

Вычислением мы можем назначать любую цепочку причинно-следственных связей (ЦПСС).
Важно, только порождение конечного состояния, которое отличимо от исходного, если это так, то мы можем эту ЦПСС использовать в качестве физического вычислителя.

Вычисление=вычислительный процесс=ЦПСС=цепочка причинно-следственных связей.

источник

09:51пожаловаться #2

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

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

источник

09:57пожаловаться #3

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

Абстрактный универсальный вычислитель = ((ветвление) + (изменение памяти)).
В альтернативной эквивалентной форме можно так.
Абстрактный универсальный вычислитель = ((сравнение) + (изменение памяти)).

источник

09:58пожаловаться #4

ALEX BUR in Типы в языках программирования, моделирования, представления знаний и жизни

Для физ.воплощения мат.модели не важна природа конкретного физ.процесса.

источник

09:59пожаловаться #5

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Без сортировки, в смысле? Много Вы знаете программных комплексов, которые "нормально работают" без сортировки? А тем более — в области анализа данных и статистики? 😂

Тем не менее, я бы не стал говорить, что статистика — это наука про подходящую сортировку данных. 😏

источник

10:26пожаловаться #6

Nick Ivanych in Типы в языках программирования, моделирования, представления знаний и жизни

Ох. Надо или не надо так моделировать, это даже и не вопрос, наверное.
Но вот напомню, что речь шла про "рассуждать, как человек".

источник

10:34пожаловаться #7

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Забавным образом, в известном смысле — да. Как я понимаю, Вольфрам именно что доказал "вычислительную несводимость" — то, что для ряда процессов нет "сокращённой формулы" и единственный вариант узнать результат — тупо выполнить процесс с начала и до нужного шага. По-видимому, таких процессов во вселенной существенно более одного. 😁

источник

10:35пожаловаться #8

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

это мешает честно симулировать всё с самого начала?

источник

10:36пожаловаться #9

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Я не уверен насчёт деталей, но по сути как только мы наткнулись на первый вычислительно-несводимый процесс, мы "увязнем" в его вычислении/симуляции. Может быть, можно делать interleaving, но в конечном итоге быстрее, чем работает просто вселенная вокруг нас это не будет ни на каком компьютере. Ну и зачем нам ещё одна такая же тормознутая вселенная внутри компьютера? 😃

источник

10:40пожаловаться #10

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

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

источник

10:42пожаловаться #11

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

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

источник

10:51пожаловаться #12

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Каверзный вопрос — сможем ли мы потом растиражировать готового математика простым копированием? 😏

источник

10:52пожаловаться #13

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

почему нет? но так как это очень медленный и дорогой готовый математик (из-за особенностей технологии), делать живых математиков проще и эффективнее.

источник

10:56пожаловаться #14

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

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

источник

11:00пожаловаться #15

Alexander Chichigin in Типы в языках программирования, моделирования, представления знаний и жизни

Кроме того, мы же на самом деле не знаем за счёт каких конкретно процессов и их свойств возникает сознание и самосознание. Поэтому неизвестно что именно нужно промоделировать и с какой точностью. Так что результат не гарантирован. 😁

источник

11:08пожаловаться #16

gо

goldstein опять in Типы в языках программирования, моделирования, представления знаний и жизни

моделирование всей вселенной с самого начала заведомо решает эту проблему, предоставляя нам достаточное количество математиков вместе с Землёй

источник

11:09пожаловаться #17

Eugene in Типы в языках программирования, моделирования, представления знаний и жизни

вот только для моделирования вселенной нужен компьютер больше вселенной

источник

11:15пожаловаться #18

gо