Joscha Bach

[109]

Неплохая лекция, хоть и три года уже прошло. В середине там он очень элегантно стирает в порошок аргумент Пенроуза, буквально двумя предложениями.

Comments

[Андрей Гаврилов (from livejournal.com)]

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


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

[progzi2.livejournal.com]

26:55

[Андрей Гаврилов (from livejournal.com)]

Спасибо!

[juan-gandhi.livejournal.com]

Ну этот аргумент силен, пока единственный известный нам способ вычислений - это арифметические операции с вещественными числами, с использованием европейской булевой логики, арифметики Пеано, и теории множеств Цермело-Френкеля. Математика не будет вечно опираться на эти интересные артефакты начала 20-го века.

[juan_gandhi]

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

[thedeemon.livejournal.com]

Хорошая лекция, но грустная: "мы 2/3 века думали, да так толком и не подступились к проблеме".

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

[109.livejournal.com]

насколько я знаю - нет, не более содержательный :)

[juan_gandhi]

Там дискутируют - один свое научное мнение высказывает, а другой - консенсус студентов. 200 гиг - и готово.

[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.

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

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