Программа приручения илли проект Гелеарр (Часть-3, неоконченная) - Александр Саргарус

– То есть опять же на себя?

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

– Но ведь все равно на единицу, на которую толку…

– Нет, на себя, и снова не важно, что сама является единицей. Короче, это все не существенно. Важно, что эта самая единица всплывала в доказательстве нескольких начальных чисел. Из-за нее же и возник первый конфуз. Какой-то идиот примчался с идеей: «а давайте считать ее мнимой единицей»… это вместо того, чтобы признать ее простым числом, мы вводим какие-то метапонятия взятые из астрофизики… ага, конечно! Разогнались!

– Какой еще астрофизики?

– Это был сарказм.

– А…

– Другой шибко умный прилетел с еще одной гениальной мыслью: «а что у нас в натуральных числах делает двойка? Она же четная!» А, как известно, все простые числа нечетные. Все, кроме двойки. Что интересно, признание единицы простым числом сдвинуло бы формулировку бинарной проблемы до того, что «все четные натуральные числа…» что произвело дополнительный непонятно откуда взявшийся казус, коротко описываемый фразой «не перевирайте мэтра». Также в процессе подсчета выяснилось, что для некоторых четных чисел, если отнять от большего равноудаленного простого числа рассматриваемое, то не получается пары простых чисел. Это характерно в основном для чисел равных двойке в какой-то степени и больших 16, а также простых чисел начиная, кажется, с 13 умноженных на два, четыре, восемь и т.д. Что, к слову, абсолютно не мешало находить эту самую пару равноудаленных, одним из которых было не простое и по принципу той же равноудаленности искать другую пару, где оба были бы простыми. И подтверждение этому наблюдалось во всех наспех рассматриваемых примерах. Еще позже было замечено, что для двоек в степени кратной трем, поправка несущественна, ибо на них распространялся базовый принцип «отнял от большего рассматриваемое и получил нужную пару чисел». Да и с поправками или без, всегда можно было от найденной пары поискать другую, пользуясь все тем же принципом равноудаленности. И да, на всякий случай, это доказательство считают спорным.

– Так это и есть философия?

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

– Наблюдатели? А это кто?

– Ну, скажем так – мировое сообщество.

– Не понял…

– Дело в том, что тогда очень модно было требовать гранты и всякие спонсирования на изучение таких «очень важных» проблем. Причем сама задача и ее предполагаемое стопроцентное доказательство не давала никаких научных достижений, новых технологий или еще чего-либо полезного. Но ученые мужи на тот момент так приловчились крутиться и паразитировать на мире науки, что умудрялись выпрашивать деньги на исследования, даже выдвинув предположение, что в каком-то спорном примере вместо плюсика должен быть минус или с еще более туманной формулировкой, типа «там не всегда должен быть плюс». Причем деньги они выпрашивали на исследования еще ничего толком не доказав. Не знаю, как сам Гольдбах и люди, подобные ему, которые ставили такие задачи, относились бы к подобным паразитам, так как очень часто они не доживали до тех времен, когда их задача получала такую популярность и повод всех математиков мира выпрашивать спонсирование на решение «столь важной задачи». Но вот понимающих людей, живших в одно время с этими паразитами, такая постановка вопроса бесила. А так как каждый прибегал с какой-то глупостью и тут же заявлял, что он готов решить эту проблему, но на это ему нужно мешок (и довольно часто в прямом смысле) денег и полгода работы в лаборатории… вижу, что ты уже начинаешь не понимать…

– Да нет, мне все понятно. А что такого в том, что им нужны были деньги на исследования? Ведь не всякий способен додуматься до того, что этот академик…

– Правильно, Би! Не каждый способен. И они этим пользовались! Никто не оспаривал их право требовать или просить деньги на исследование важных вопросов. Но тут был вообще фееричный случай. Проблема Гольдбаха была, кажется, под номером 8 в каком-то там списке особо важных нерешенных проблем. То есть, перед ней их было всего семь, вроде как более значимых… Но требовать спонсирования «Великого ученого вставь имя» и его приспешников за то, что они в лаборатории целый год будут курить кальян на общественные деньги и философствовать, чтобы в конце решить, считать единицу простым числом или нет... или считать ее мнимой в пределах доказательства проблемы Гольдбаха… короче, тут они спалились сами и спалили уровень паразитирования на обществе ученых мужей всего мира, который на поверку оказался колоссальным. Но чтобы замять этот вопрос… погуманнее… все-таки доктора, профессора, академики… решили придумать в математике раздел, куда отнести все вопросы и проблемы, с которыми могло статься то, что произошло с проблемой Гольдбаха. Ее же туда отнесли первой. И тут же решили, что ввиду последних исследований считать, что минимум одна равноудаленная пара простых чисел есть для всех натуральных чисел, кроме единицы. Отсюда для доказательства бинарной проблемы достаточно найти равноудаленную пару простых чисел для числа, вдвое меньшего, чем рассматриваемое. Но так как решение почему-то осталось спорным, то и находится оно теперь в матфилке вместе с самой проблемой, а деньги за его доказательство можно получить только в качестве награды, когда стопроцентно подтвердишь или опровергнешь все эту лабуду вместе. Все это время философствовать никто не мешает, но платить вплоть до стопроцентного доказательства никто не будет. Потом ввиду существования фундаментальных не сходящихся теорий устройства вселенной было предложено еще и в физику ввести раздел философии… и в некоторые другие науки тоже… Ну что, не закипели мозги?

– Та вроде еще нет. Но ты же озвучил доказательство только бинарной проблемы. А как же… эта… как ее?

– Тернарная?

– Да… она самая.

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

– Э-э-э… и он доказал?

– Хочешь, попробуй опровергни, – улыбнулся Саша. – Может, попадешь в историю. А может твои выкладки отнесут к матфилке. Но заодно ты убьешь время до вечера. Ладно, давай, я пошел, мне надо подготовится к нашей вечерней прогулке. Не провожай, я знаю, где выход.