Читать «Искатель. 2013. Выпуск №10» онлайн - страница 12

Это «чтобы» и является предметом доказательства, а также, парадоксальным образом, входит в систему доказательства и становится способом.

И потому мне страшно. Будь я здоров, сидел бы сейчас в своем кабинете на факультете математики, видел бы на экране компьютера результат доказательства шестой теоремы, и для доказательства седьмой отправился бы к Хемстеду в биологическую лабораторию — перейти Паркс Роудс и углубиться в аллею. Над дверью горел бы транспарант «Не входить. Идет эксперимент», и, прежде чем набрать знакомый код, я позвонил бы Ноэлю на мобильный и спросил, свободен ли он и может ли уделить мне время.

«Конечно, — ответил бы он и спросил бы: — Сколько?»

Он привык, что я обращаюсь к нему, попав в трудную ситуацию, а такое случалось довольно часто в первые годы нашего с Аленой пребывания в Оксфорде, когда британская финансовая система представлялась мне темным лесом, в котором легко не только заблудиться, но и сломать себе шею, споткнувшись о какую-нибудь корягу.

«С деньгами у меня все в порядке, — сказал бы я, — мне нужна твоя профессиональная помощь. Для доказательства теоремы нужно использовать животное. Обезьяну или собаку».

Ноэль высоко поднял бы брови и пристально посмотрел бы мне в глаза.

«Зачем вам собака, Влад? Хотите обучить ее математике?»

И я рассказал бы ему, насколько вообще возможно без потери смысла рассказать человеку, не сведущему в Математике (ровно настолько же, насколько я не сведущ в биологии), о принципах новой физики, возникающей из принципов новой математики, и о том, что без новой биологии ни физика, ни математика развиваться не смогут, а если этого не произойдет, человечество остановится в своем развитии.

Впрочем, о человечестве я, пожалуй, умолчал бы, чтобы мои слова не показались Ноэлю излишне патетическими.

«Эксперимент, — сказал бы я, — заключается в том, чтобы показать животному определенную последовательность изображений, которая мне известна как результат доказательства теорем Дорштейна, Шведера и двух моих. Каким окажется результат, понятия не имею — именно это и должен узнать, чтобы доказать следующую теорему».

«Какое отношение собаки могут иметь к математике бесконечных чисел?» — продолжал бы удивляться Ноэль, и я рассказал бы ему о том, что в инфинитном исчислении, в отличие от дифференциального и от любого другого математического аппарата, использующего конечные числа и конечные множества, необходимо участие реального биологического объекта, чей мозг способен, в силу природных особенностей, функционировать в режиме квантового компьютера. Можно, конечно, использовать и обычный квантовый компьютер, но тогда придется с доказательством теоремы и вообще с развитием математики и физики, подождать многие годы, поскольку сейчас квантовые компьютеры содержат сотню кубитов, в ближайшее время можно рассчитывать на тысячу, и при нынешних технических возможностях это предел. А нужны миллионы кубитов, нужен, короче говоря, мозг.