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

Брюс Стерлинг – писатель, журналист и футурист. Автор книги «Будущее уже началось. Что ждет каждого из нас в XXI веке?» [11]и романа «Зенитный угол» [12].

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

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

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

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

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

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

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

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

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

Кит Девлин – математик; исполнительный директор Центра по изучению языка и информации Стэнфордского университета и консультирующий профессор на факультете математики. Его исследования посвящены разработке систем информации/суждений для анализа интеллекта. Автор нескольких книг, в том числе «Математический инстинкт: почему вы гениальный математик (наряду с омарами, птицами, кошками и собаками)».

Прежде чем ответить на вопрос проекта Edge, давайте определим, что мы называем доказательствами. (Математики любят с самого начала точно определять, о чем пойдет речь, и эта склонность к педантизму иногда сводит с ума наших коллег – физиков и инженеров.) Например, вслед за Декартом, я могу доказать самому себе, что существую, но вряд ли смогу доказать это кому-нибудь другому. Даже те, кто хорошо меня знает, могут предположить (хотя это маловероятно), что я просто плод их воображения. Если вы хотите от доказательства железобетонной твердости, то нет почти ничего, кроме нашего собственного существования (что бы это ни означало и в каком виде мы бы ни существовали), что мы можем доказать самим себе. И нет вообще ничего, что мы можем доказать другим.

Принято считать, что математическое доказательство – самая надежная форма доказательства из всех возможных. В те дни, когда Евклид писал «Начала», свой великий труд по геометрии, это было действительно так – по крайней мере, так казалось. Но многие доказательства геометрических теорем, которые привел Евклид, позже оказались неверными. В конце XIX века Дэвид Гилберт уточнил многие из них – хотя математики веками верили в них и объясняли их своим студентам. Так что даже в сфере простейших доказательств геометрии иногда трудно отличить правду от лжи.