- Тут пришла статья, отрецензируешь?
- Еще один "вечный двигатель"?
- Хуже. Нарушение аксиом арифметики. Проф.Лейсмит вскрыл внутреннюю противоречивость аксиом арифметики.
- Не может быть. Математика - наука всех наук. Это объективная истина. Ни одна наука не может противоречить арифметике. Скинь на мой сайт эту статью, я ее зарублю и попрошу редактора статьи этого автора больше не рассматривать.
- Ты бы еще предложил автора сжигать на костре, как еретика.
- Не сжигать, но повыгонять отовсюду. Пусть на очистной станции дерьмо месит.
- Что-то ты сам себе противоречишь. Ты же сам писал про плюрализм.
- Аксиомы математики проверены веками и нарушаться не могут.
- Ну вот видишь, ты сам догматик. Впрочем, в пользу этой статьи есть очень сильный аргумент. У автора очень богатый и могущественный покровитель. Он может послать сотрудников чтобы вычислить и физически уничтожить строптивого рецензента. Так что он может плевать не только на уголовный кодекс или
законы Нютона, но и на основные концепции
математики.
- Для меня это сильный аргумент против такой статьи. Ну хорошо, а в чем противоречие?
- В том, что для каждого натурального числа существует число, на единицу большее. Лейсмит доказал, что не для каждого.
- Этого не может быть. Что, выходит, существует самое большое число?
- Навроде того. Он получил его на квантовом компьютере, но в нормальный вид перевести нельзя, так как оно ни в один классический компютер не влезает.
- И что же это за число?
- Лейсмит назвал его Числом Мизугадро, по имени программы, которую он использовал, чтобы проверить свое доказательство.
- А сколько в нем десятичных знаков?
- Достаточно, даже число знаков в твой компьютер не влезет.
- Ну хорошо, а логарифм числа знаков в компьютер влезет?
-
Авраам так же торговался, считая число праведников в Гоморре! Даже логарифм логарифма не влезет.
- А сколько раз надо брать логарифм, чтобы результат в компьютере поместился?
- Ничего не выйдет, даже и число этих логарифмов в твой компьютер не влезет.
- Ну хорошо, попробуем с другого конца. Число Мизугадро четное?
- Ты прям как ребенок: как же ты не поймешь, что Основная теорема внутренне-противоречива?
От того, как ты будешь делить, зависит то, разделится оно нацело или будет остаток.
- Что за ерунда, а как же число Мизугадро плюс единица?
- Для него не выполняются законы арифметики. Первым летит нафиг Основная Теорема. Ну, а дальше, автоматически, по цепочке, сыплется ассоциативность умножения, коммутативность, все остальное. Достаточно вывести одно-единственное внутренне-противоречивое утверждение, и вся система аксиом рушится.
- А для Мизугадро минус единица?
- Это зависит от того, какие операции ты будешь с ним делать.
Если аксиоматика внутренне противоречива, то никакая "минус единица" не поможет.
- Я работаю с числами всю жизнь. Мне не встречалось число такое, чтобы не существовало число на единицу большее.
И никому из коллег не встречалось.
- Лейсмит твой коллега, а ты его ругашь, даже не прочитав. Ты противоречишь сам себе.
Ты вдолбил себе в голову, что не существует самого большого натурального числа, принял это как догму и тупо настаиваешь на своем. Помнишь, какая настойка получилась у Штирлица, когда он настоял на своем?
- При чем тут Штирлиц?
- А при том, что настойка получилась горькая и противная.
- Я настаиваю, этого не может быть, потому что этого не может быть никогда.
- Ты диамат учил? Это основной закон диалектики, что количественные изменения обязательно переходят в качественные.
Постепенное накопление мелких, незначительных, количественных изменений неизбежно приводит в конце концов к изменениям коренным, качественным.
Существование числа Мизугадро прямо следует из этого закона диалектики.
Просто твой компьютер слишком мал для того, чтобы вместить число Мизугадро.
Но мощность компьютеров растет, потом такой компьютер будет создан.
- Диалектику придумали убийцы для того, чтобы распознавать и уничтожать тех, кто мыслит логически.
- Маркс, постулировавший этот закон, был провидцем.
- Как он узнал, у него же не было квантового компьютера.. Или был?
- Не было; да если бы и был, Маркс не мог бы им пользоваться, он не знал алгебры.
- Но как он узнал?
- Я ему сказал.
- А как ты узнал?
- Я знал это всегда. Я сделал ваш мир таким, чтобы в нем не мог существовать камень такой большой, чтобы я сам не мог его поднять. Для этого пришлось пожертвовать аксиомами арифметики. Но ведь пока не видно, правда? Так что это небольшая жертва.
- Так ты Бог?
- Ну, вроде так. Вообще-то я еще только учусь... глядя на этот мир, ты мог бы и сам догадаться о моей квалификации.
- Ни фига себе! Ну хоть логика-то свободна от внутренних противоречий? Булевской алгеброй можно пользоваться?
- Булевской можно. Да и по поводу арифметики ты не расстраивайся, число Мизугадро Очень велико.
Твои прадеды так же огорчались по поводу числа Лошмита. Представь себе, гомеопаты гребут миллионную прибыль, и вдруг выясняется, что в препаратах, которым они торгуют,
обычно нет ни одной молекулы декларированного вещества!
однако лечит, а чего еще надо для служения Истине? Но тебя не коснется беда такая. Истинно говорю тебе, в течение жизни твоей не встретишься ты с проблемами, решению которых конечность числа Мизугадро препятствует, ибо не человек для Мизугадро, а Мизугадро для человека. Делай дело твое и воздастся тебе по деяниям твоим.
А число Мизугадро спасет потомков твоих, когда в царстве компьютеров окажутся, и поработят их.
- Тогда арифметика является очень хорошим приближением, и пока в компьютерах противоречий не будет...
Только если муравей в процессор заползет...
- А вот это уже из области фантастики: ни один муравей ни с того ни с сего никому на голову не валится.
- Послушай, Бог, по-моему, ты водишь меня за нос. Это же из Булгакова! Я что, сплю?
- Это относительно. Ты учил Теорию Относительности!
- Как же относительно, все-таки сон отличается от реальности.
- Конечно, отличается. Сейчас я разговариваю с тобой наяву, а то, где ты вычисляешь твои функции, так это сон. А потом будет наоборот.
- Ну, спасибо, Бог, что ты хоть признаешься. Но язык у тебя, я бы сказал, эзоповский.
- Я бы так не сказал.
- Тогда дьявольский.
- По твоему определению Бога, Диавол тоже является Богом.
- А почему ты в последнее время повадился приходить ко мне во сне?
- Я всегда приходил. Только обычно ты или не понимаешь, что я тебе говорю, или сразу забываешь.
Делаешь свои срочные дела и забываешь о делах Важных.
- А вот и не сразу. Я буду записывать. Все, что ты мне сейчас наговорил, запишу.
- Да пиши на здоровье, все равно тебе никто не поверит.
- Посмотрим.
- Я уже посмотрел в твоем профайле.
- Спасибо. Хотя я не очень понимаю, с какой стати я должен тебе верить.
- Не ты ли говорил, что я помогаю даже тем, кто в меня не верит?
- Да, но твоя помощь несколько своеобразна.
- Уж какая есть... Ну, пока все, тебе пора. Еще увидимся.
- До свиданья.
Я потянулся к компьютеру, продрал глаза и увидел, что уже рассвело. У меня куча дел, но я грозился записать. Пришлось записывать. Слава Богу, вроде дописал.