Популярно о конечной математике и ее интересных применениях в квантовой теории

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

Philip Gibbs создал сайт и назвал его vixra. Такое название получается, если читать слово "arxiv" в обратном порядке. Philip считал, что moderation system, которую применяет arxiv, не соответствует принципам научной этики. События которые я описываю ниже, показывают, что не только arXiv, но и многие известные журналы тоже не следуют принципам научной этики. В этой аннотации я кратко описываю что является самым главным в моем подходе и с какими проблемами я столкнулся в попытках опубликовать свои научные результаты.

Понятие бесконечно малых предложили Ньютон и Лейбниц. В те времена об элементарных частицах и атомах ничего не знали и думали, что, в принципе, любое вещество можно разделить на любое число частей. Но теперь ясно, что как только доходим до уровня элементарных частиц, то дальнейшее деление невозможно. Ведь даже само название "элементарная частица" говорит, что у такой частицы нет частей, то есть, ее нельзя разделить на 2, 3 и т.д. Так что в природе нет бесконечно малых, и обычное деление не является универсальным: оно имеет смысл только до какого-то предела.

Казалось бы, это очевидно? И тогда ясно, что фундаментальная квантовая физика должна быть построена без бесконечно малых. Казалось бы, все понимают, что построение такой физики – далеко не простая задача, и, казалось бы, попытки такого построения должны поощряться. Однако, мои истории, описанные ниже, показывают, что, как правило, establishment не только не поощряет такие попытки, но делает все, чтобы результаты в этом направлении не были опубликованы.

Что еще поразительно. Как правило, физики даже произносят слова, что в природе есть малые, но не бесконечно малые. И, казалось бы, отсюда очевидно, что стандартная математика с бесконечно малыми, непрерывностью и т. д. не может быть теорией на которой основана самая фундаментальная физика; она может быть только хорошим приближением. Но здесь физики говорят, что раз стандартная математика в целом работает, то зачем философствовать и привлекать что-то другое. Как правило, конечную математику большинство физиков не знают и, когда они слышат что-то типа поля Галуа, то, для душевного спокойствия, им проще считать, что это какая-то экзотика или патология.

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

Когда я учился в МФТИ и слушал лекции известных математиков, то мне казалось, что мехмат МГУ – чуть ли не высшая каста, так как для математиков строгость является высшим приоритетом. Но потом, общаясь с математиками, я был удивлен, что они знают про теоремы Гёделя и проблемы с обоснованием математики, но у них образ мышления такой, что раз во многих случаях стандартная математика работает, то незачем переживать из-за проблем в ее обосновании. В этом смысле их образ мышления похож на образ мышления физиков, которые думают, что раз теория во многих случаях работает, то незачем наводить строгость. Но все же, математики, как правило, знают конечную математику и я надеялся, что им будет интересно узнать, что конечная математика – более общая чем стандартная. И, так как в конечной математике нет проблем с обоснованием, то математики, во всяком случае, не должны быть агрессивно против моих публикаций. Но, как я описываю, что очень странно, что даже многие «конечные» математики агрессивно против, а стандартные математики тем более.