Почему аборигены съели Кука

«В фантастических романах главное это было радио. При нем ожидалось счастье человечества. Вот радио есть, а счастья нет»
Из записных книжек Ильи Ильфа

Сила вычислительных машин многократно превосходит скорость человеческих вычислений.
Став обладателем компьютера, человек может стать счастливее.
Если он остаётся после этого психически здоровым счастье быстро улетучивается.
В целом человечество не стало лучше благодаря скорости вычислений.
Это даёт нескончаемый повод для насмешек.
Настоящая заметка имеет целью кратковременно покончить с подобными инсинуациями.
Счастье нельзя обрести в скорости вычислений.

Моя бабушка умела быстро считать принесённую почтальоном тётей Валей 8-го числа пенсию.
Валютчики на местном рынке умеют это делать значительно быстрее.
Кстати, моя бабушка и тётя Валя ничего общего с валютчиками не имеют.
Хотя внук тёти Вали и стал валютчиком, как впрочем, и внук моей бабушки в какой-то мере.
Но не будем о грустном. Перед нами стоят серьёзные задачи.

Дело не в скорости вычислений.
Человечеству, как и моей бабушке, особенно нечего вычислять.
И это не шутки.
Скорее даже не так.
Это не шуточки.
Вычислительная машина понятия не имеет, что она вычисляет.
Её даже глупой нельзя назвать.
По крайней мере, вычислительная машина не умнее, чем допотопные костяные счёты и отличается от них как лопата от столовой ложки.

Человечеству нечего вычислять!

Самые сложные процессы вычислений связаны с моделями погоды и климата.
Польза от этих вычислений невелика.
Несколько лет назад британцы спохватились и отменили смертную казнь за неправильный прогноз погоды.
Закон действовал с 16 века и был забыт за ненадобностью.
Это всё равно, что казнить за поцелуи.
Кстати, о поцелуях. Нет, оставим это.

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

Так что же делать? Прекращать увеличивать скорость вычислений и создавать новые ЭВМ?
Ничего подобного!
Нужно решать задачу Кука.
Для решения задачи Кука не нужно знать кто такой Кук.
Можно даже отождествлять его с великим путешественником и напевать песню Высоцкого «Почему аборигены съели Кука?»

Для того чтобы решать задачу Кука нужно знать её условие.

«Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей. Это говорит о том, что решение какой-либо задачи часто занимает больше времени, чем проверка правильности решения.
Стивен Кук сформулировал проблему: может ли проверка правильности решения задачи быть более длительной, чем само получение решения, независимо от алгоритма проверки».
На сегодняшний день математики понятия не имеют как подступиться к этой проблеме.
Дело в том, что математика это не совсем то, что думает большинство нематематиков..

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

Задача Кука, её ещё называют задачей Гарри, (понятия не имею кто такой и даже имя это или фамилия, возможно Гарри Поттер) это задача наивысшего уровня математической сложности из всех нерешённых на сегодняшний день задач математики.
Почему?

Первый уровень математической сложности это задачи, возникающие среди предметов.
Сколько их? Где они лежат? Сколько их осталось? И так далее.

Второй уровень сложности это задачи касающиеся процессов.
Моя бабушка замечательно справлялась, например, с планированием ремонта крыши.
Пенсия, касса взаимопомощи пенсионеров, наличие кровельного железа в сарае, пьяница дядя Вася, который лез на крышу и ему «не наливали» до обеда и так далее.
Моделирование климата и глобального потепления это задачи второго уровня.

Упомянем вскользь третий и последующие уровни и перейдём к наивысшему.
Представим себе телескопическую антенну.
Самая тонкая часть это задачи с предметами.
Потом задачи с процессами.
Что дальше, вернее что толще?
Формулируя и решая задачи «ремонта крыши» математики заметили, что эти задачи в чём-то похожи.
Любители поэзии меня давно уже поняли, а для прозаиков напишем.
Предметами и процессами в задачах следующих категорий сложности являются сами задачи и сами процессы.

Например, процесс решения задачи для процесса моделирования погоды служит предметом для задачи моделирования климата.
Но не климата Земли, а всех возможных климатов всех возможных планет.
В том числе и с азотной атмосферой.

Абзац проверен на компьютере программой Word.

Наивысший уровень сложности связан с задачами, где процессом является мышление человека как процесс моделирования и поиска.

По силам ли математике решать подобные задачи?
Кстати, это тоже вполне математическая задача.
Можете считать её задачей Борри.
Или Борри Глотерра, как удобно.

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


Для чего это нужно любителям поэзии?
Понятия не имею.
Мне зачем-то нужно, а я люблю поэзию.

Может быть потому, что здесь есть где разгуляться.