Во что мы верим, но не можем доказать. Интеллектуалы XXI века о современной науке

По моему глубокому убеждению, существует огромное количество доказательств для формирования, с высокой степенью уверенности, субъективной априорной гипотезы о том, что в прошлом веке поверхность Земли нагрелась примерно на 0,7° С, а в последние годы глобальное потепление, как минимум наполовину, вызвано воздействием человека. Доказывает ли это антропогенную природу потепления (т.е. что это сделали мы)? В строгом смысле уголовного права, где действует критерий «за рамками разумных сомнений», скажем: когда объективная вероятность составляет 99% — нет, не доказывает. Но по критериям перевеса доказательств, как в гражданском судопроизводстве, где достаточно вероятности более 50%, чтобы выиграть дело, глобальное потепление можно считать доказанным. Как сторонник частотного распределения я допускаю, что глобальное потепление реально, хотя полностью не доказано. Но как субъективист я считаю, что множество фактов демонстрирует, что глобальное потепление превысило минимальный порог вероятности. Этого достаточно, чтобы верить в его существование и принимать его всерьез.

Брюс Стерлинг

БРЮС СТЕРЛИНГ — писатель, журналист и футурист. Автор книги «Будущее уже началось. Что ждет каждого из нас в XXI веке?» [11]

и романа «Зенитный угол» [12].

Я могу суммироватьподсказки своей интуиции в семи словах: мы здесь для того, чтобы испортить климат.

Роберт Триверс

РОБЕРТ ТРИВЕРС — профессор антропологии и биологии Университета Ратджерса. Его исследования посвящены двум направлениям: социальной теории, основанной на естественном отборе (один из ее разделов — теория самообмана), а также «эгоистичным» генетическим элементам, создающим внутренние генетические конфликты. Автор книги «Естественный отбор и социальная теория».

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

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

Я верю, что самообман — важный фактор, препятствующий успеху отдельного человека.

Верена Хубер-Дайсон

ВЕРЕНА ХУБЕР-ДАЙСОН — математик, автор исследований по теории групп. Преподаватель нескольких университетов, в том числе Калифорнийского университета в Беркли и университетов Иллинойса, Чикаго. Почетный профессор философского факультета Университета Калгари, где преподает логику, философию науки и математику. Автор книги «Теоремы Гёделя».

Я не могу доказатьпочти ничего из того, во что верю, просто потому, что для этого мне не хватает времени и сил — все это известные истины, доказанные другими. Наши убеждения всегда связаны с достижениями и опытом других людей. Но благодаря аргументам, которые в 1931 году предложил Гёдель, мы знаем, что ограничения того, что можно доказать, встроены в саму концепцию доказательств, а не только в ограничения человеческого разума. Фактически в любой формальной системе, удовлетворяющей некоторым естественным минимальным требованиям, существует математическая истина, которую можно выразить языком этой системы, но нельзя доказать с помощью свойственной этой системе процедуры доказательств. Подобные феномены привлекательны для широкой публики, но имеют смысл только при условии серьезного исследования того, что такое математическая истина и что такое доказательства.

Но я могу предложить более оригинальный ответ:

Я верю в созидательную силу скуки. Или, если выразить это в форме вопроса Edge: я верю, что как бы мы ни перекармливали нашу молодежь изощренными интерактивными развлечениями, очень скоро она вырвется на свободу и придумает собственные развлечения. Я знаю по собственному опыту: в 10 лет именно скука заставила меня заинтересоваться математикой. Но пока этого не произошло, я не могу этого доказать. Возможно, уже в следующем поколении дети будут развлекаться так, как мы не могли и вообразить. Я верю, что человек по своей природе обладает большим запасом здравого смысла.

Кит Девлин