Знание-сила, 2008 № 06 (972)

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

И можно в итоге сделать неутешительный вывод: с чего начали, к тому и возвращаемся. Записано на папирусе авторитетным человеком — значит, верно. Проверять доказательства люди по большому счету разучились и, раз джинн выпущен из бутылки, уже не научатся. Выше я писал о классификации конечных простых групп; прелесть ситуации в том, что на эту теорему, метко прозванную «the enormous theorem», с 1983 года, когда она была полностью опубликована, до 2003 года ссылались с опаской. Прошло двадцать лет, а это доказательство (записанное даже без ссылок на компьютерные вычисления!), ключевое для целых немаленьких областей науки, по большому счету оставалось непроверенным, и находились математики, которые в него не верили. Причем не какие-нибудь маргиналы — в классификацию не верил, например, один из величайших алгебраистов современности Жан-Пьер Серр. Лишь в 2003 году вышла статья Ашбахера, окончательно расставившая все точки над i. О какой же математической истине можно вообще говорить в наше время?

Но не хочется завершать статью на такой неутешительной ноте. Я все-таки верю, что действительно убедительное доказательство и сегодня должно оставаться математически строгим от начала до конца, а ошибки рано или поздно будут найдены или сами себя найдут. Вот видите, теорему о классификации конечных простых групп в конце концов все-таки смогли проверить до конца. Компьютеры могут помогать в порождении доказательства, но должны быть разработаны методы строго доказывать, что они делают это правильно. Я верю, что рано или поздно мы научим одни компьютеры проверять другие компьютеры, которые проверяют третьи компьютеры... да что уж там, научим компьютеры доказывать теоремы, и дело с концом — первые шаги к этому уже давно сделаны. А что тогда останется человеку? Правильно, останется филология. Она вечна и неисчерпаема, как множество возможных строчек из букв русского алфавита. Шучу, Дмитрий Дмитриевич, шучу...

ЧИСТЫЙ МИР

Плесень-чистильщик

Грибки и плесень могут не только быть опасными и вредными, но и приносить людям немалую пользу. Например, португальские ученые с их помощью надеются избавить человечество от мусора и отходов. Сотрудники Технологического института химии и биологии выделили около 500 видов грибков, способных перерабатывать самые трудноразлагаемые вещества.

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

«Электрические свиньи»

Обезвоживание осадков, образующихся на станциях очистки сточных вод, представляет собой сложную проблему, до сих пор не решенную с достаточной эффективностью. При этом надо заметить, что осадок состоит на 90 — 95% из воды. Если воду убрать, то тонна осадка превратится в 50 — 100 килограммов сухого вещества, занимающего не так уж и много места. К тому же избавление от одной тонны осадка, например в Германии, стоит 75 — 100 евро (а страна «производит» примерно 60 миллионов тонн осадка сточных вод ежегодно).

Вообще обезвоживание и обезвреживание осадков — целая наука. И способов обработки осадков имеется не один десяток. Среди них есть и довольно необычные.

Базирующаяся неподалеку от Штутгарта немецкая компания ThermoSystem образовалась в 1997 году, но к настоящему моменту фирма не только заслужила международное признание, но и стала мировым лидером в таком непубличном деле, как обезвоживание осадков сточных вод. Инженеры этой фирмы посмотрели, видимо, на свинью, валяющуюся с гигиеническими (именно так!) целями в грязи, и придумали «электрическую свинью» — покрытый нержавеющей сталью полностью автономный робот, с помощью которого в ходе обезвоживания осадок освобождается от бактерий и также лишается своего не совсем приятного запаха. После такой обработки отходы можно беспрепятственно сжечь или произвести на их основе удобрение.

Робот-«свинья» катается по площадке с осадком со скоростью до одного метра в секунду и орудует своими инструментами: перемешивает, переворачивает, перепахивает, рыхлит и так далее. Словом, «электрическая свинья» делает все для того, чтобы ускорить процесс высыхания и предотвратить гниение.

Биодеградация по программе