что такое математика, версия ааронсона

[avva]

Любопытный невроз Скотта Ааронсона:

"Когда я смотрю какой-нибудь триллер (или сериал вроде Homeland), и подходит черед одной из таких напряженных сцен, в которых герой понимает, что все, во что он верил, было ложью - в такой момент я иногда повторяю про себя доказательство теоремы Карпа-Липтона. Это меня всегда успокаивает. Даже если вся вселенная - всего лишь чья-то злая шутка, все равно верно, что из NP ⊂ P/poly следует коллапс полиномиальной иерархии, и я могу вам в точности объяснить, почему. Все равно будет верно, что невозможно взломать псевдослучайную функцию по Голдрайху-Голдвассеру-Микали, не взломав тем самым алгоритм псевдослучайных чисел, на котором она основана. Математику можно определить так: это то, на что все еще можно положиться, даже когда ни на что другое положиться нельзя."

У меня нет подобной внутренней привычки, но "как я его понимаю".

Comments

[a-konst.livejournal.com]

Каждый воспринимает все по-своему.
Я таких глубин не предполагал, я всего лишь прокомментировал парадокс брадобрея.

[nechaman]

Уверенность, что математика чисто формальна и не допускает бессмысленности, мне кажется необоснованной.
Ну, конечно, в теории множеств нашли способ бороться с парадоксами. Но именно об этом я и говорю, что способ борьбы есть, но парадоксы все равно тоже есть :)