Ну этот аргумент силен, пока единственный известный нам способ вычислений - это арифметические операции с вещественными числами, с использованием европейской булевой логики, арифметики Пеано, и теории множеств Цермело-Френкеля. Математика не будет вечно опираться на эти интересные артефакты начала 20-го века.
Sounds more and more fishy. I got a feeling the guy has problems with formal logic and with probability theory. Not sure about quantum mechanics, but maybe there too. And complexity.
Насчет Пенроуза и вычислимости, думаю, не все так просто. Чисто если выйти за пределы булевой логики, то понятно, что не все моделируется.
Это как заявлять, что раз парсер регулярных выражений написан на си, то и си можно парсить с помощью регулярных выражений. Это упрощенная аналогия, конечно.
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
109![[identity profile]](https://www.dreamwidth.org/img/silk/identity/openid.png){kind=small}
(no subject)
Date: 2016-12-03 04:08 am (UTC)- а вы не могли бы время в видео указать, или текстом написать его возражение? 55 минут же, для поиска "в середине" немало времени понадобится!
(no subject)
Date: 2016-12-03 06:05 am (UTC)(no subject)
Date: 2016-12-03 06:27 am (UTC)(no subject)
Date: 2016-12-03 06:42 am (UTC)(no subject)
Date: 2019-10-06 03:02 am (UTC)(no subject)
Date: 2016-12-05 08:25 am (UTC)Пенроуза я давненько читал, но мне кажется, у него аргумент был более elaborate и содержательный, чем то, как этот Йоша его изображает.
(no subject)
Date: 2016-12-05 07:49 pm (UTC)(no subject)
Date: 2019-10-06 03:03 am (UTC)(no subject)
Date: 2016-12-08 05:45 am (UTC)Насчет Пенроуза и вычислимости, думаю, не все так просто. Чисто если выйти за пределы булевой логики, то понятно, что не все моделируется.
Это как заявлять, что раз парсер регулярных выражений написан на си, то и си можно парсить с помощью регулярных выражений. Это упрощенная аналогия, конечно.