Joscha Bach

Dec. 2nd, 2016 04:20 pm
109: (animated-1)
[personal profile] 109
Неплохая лекция, хоть и три года уже прошло. В середине там он очень элегантно стирает в порошок аргумент Пенроуза, буквально двумя предложениями.

(no subject)

Date: 2016-12-03 04:08 am (UTC)
From: [identity profile] Андрей Гаврилов (from livejournal.com)
> В середине там он очень элегантно стирает в порошок аргумент Пенроуза, буквально двумя предложениями.


- а вы не могли бы время в видео указать, или текстом написать его возражение? 55 минут же, для поиска "в середине" немало времени понадобится!

(no subject)

Date: 2016-12-03 06:27 am (UTC)
From: [identity profile] Андрей Гаврилов (from livejournal.com)
Спасибо!

(no subject)

Date: 2016-12-03 06:42 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
Ну этот аргумент силен, пока единственный известный нам способ вычислений - это арифметические операции с вещественными числами, с использованием европейской булевой логики, арифметики Пеано, и теории множеств Цермело-Френкеля. Математика не будет вечно опираться на эти интересные артефакты начала 20-го века.

(no subject)

Date: 2016-12-05 08:25 am (UTC)
From: [identity profile] thedeemon.livejournal.com
Хорошая лекция, но грустная: "мы 2/3 века думали, да так толком и не подступились к проблеме".

Пенроуза я давненько читал, но мне кажется, у него аргумент был более elaborate и содержательный, чем то, как этот Йоша его изображает.

(no subject)

Date: 2016-12-05 07:49 pm (UTC)
From: [identity profile] 109.livejournal.com
насколько я знаю - нет, не более содержательный :)

(no subject)

Date: 2016-12-08 05:45 am (UTC)
From: [identity profile] juan-gandhi.livejournal.com
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.

Насчет Пенроуза и вычислимости, думаю, не все так просто. Чисто если выйти за пределы булевой логики, то понятно, что не все моделируется.

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

Profile

109: (Default)
109

December 2016

S M T W T F S
    1 23
45678910
11121314151617
18192021222324
25262728293031

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags