4. Замечания рецензента о моей мотивации
Кроме критических замечаний о моем подходе и результатах, рецензент также высказывает свое мнение о моей мотивации. Он приводит фразу из статьи: «Основатели (квантовой) теории были высокообразованными физиками, но они использовали только классическую математику, и даже сейчас математическое образование на физических факультетах не включает дискретную и конечную математику». Казалось бы, раз он приводит эту фразу, то естественно ожидать, что он выскажет свое мнение о том, правильная ли фраза или нет. Но он свое мнение не высказывает, а делает вывод о мотивации этой фразы: «Таким образом, автор занимается просто лоббированием очередной реформы математического образования, прежде всего в России». Эта фраза ставит передо мной проблему, надо ли мне как-то оправдываться и объяснять, что я совсем не это имел в виду. Раз рецензент поднял этот вопрос, то попробую объяснить мотивацию этой фразы.
Конечно, в ответе на научную рецензию оправдания этой фразы могут выглядеть странно. Но все же напишу вначале, что никакого интереса в каком-то лоббировании у меня нет. У меня никогда не было постоянной позиции в образовании, а лекции я иногда читал только в дополнение к своей основной работе. Например, в 1988 г. я читал в ОИЯИ курс лекций в рамках программы «Лекции для молодых ученых ОИЯИ». В этой фразе я просто указываю на факт, но ничего не говорю о том, какая часть математического образования на физических факультетах должна посвящаться стандартной математике, а какая часть нестандартной.
Я действительно думаю, что рано или поздно фундаментальная квантовая теория будет основана на конечной математике. В своих работах и даже в ответе на эту рецензию привожу разные аргументы в пользу моей точки зрения. Однако, из замечаний рецензента следует, что его менталитет такой: если кто-то не следует традиционному подходу к квантовой теории (основанному на непрерывной математике), то за этим стоит не наука, а какие-то другие интересы. Т.е., он фактически налагает табу на любые попытки отклониться от его представлений о квантовой теории.
Нет сомнения, что стандартная квантовая теория достигла больших успехов при решении различных задач. Но, в то же время, хорошо известно, что теория еще далека от завершения и в ней есть большие проблемы. Например, в теории есть бесконечности. В перенормируемых теориях от них можно формально избавиться (если не очень следить за математической строгостью). Но обычно считается, что квантовая теория гравитации – это неперенормируемая QFT и там от бесконечностей нельзя избавиться даже во втором приближении теории возмущений. И даже в перенормируемых теориях свойства ряда теории возмущений совершенно непонятны, например, сходится ли он, является ли асимптотическим и т. д. Так что, если константа взаимодействия не маленькая, то тоже ничего посчитать нельзя.
Некоторые физики считают, что все эти проблемы – несерьезные, а те, кто считают эти проблемы серьезными, думают, что надо где-то улучшить QFT или теорию струн и тогда эти проблемы будут решены. Правда, например, Вайнберг считает, что «new theory is centuries away». Но все равно многие думают, что все будет сделано в обычной непрерывной математике, хотя, из сказанного выше, кажется очевидным, что такая математика не может быть фундаментальна на квантовом уровне.
Некоторые знаменитые физики, например, Швингер, Вигнер, Намбу, Гросс и другие рассматривали возможность, что будущая фундаментальная квантовая теория будет основана на конечной математике. В своих статьях (в том числе и в настоящей) привожу ссылки на работы других авторов, где тоже рассматривалась такая возможность. Так что в этом я далеко не первый. Одна из мотиваций – что в этом случае бесконечностей не может быть в принципе. Если следовать рецензенту, то надо сделать вывод, что все эти ученые тоже руководствовались не научными, а какими-то лоббистскими интересами.
Исходя из сказанного, считаю, что заявление рецензента о мотивации указанной фразы фактически является заявлением о моей научной недобросовестности, что является неприемлемым для научной рецензии.
Как отмечено выше, рецензент необоснованно считает, что я трактую свой результат о вакуумной энергии как «предсказание» FQT на все случаи жизни. Но как бы он не понимал мой результат, заявление рецензента, что я сознательно скрыл этот результат тоже является обвинением в научной недобросовестности. И фактически утверждение рецензента, что я не упомянул натуральный ряд и теорему Гёделя для случая конечной математики тоже является таким обвинением, и даже не важно, что в данном случае рецензент не понимает, что натуральный ряд и теорема Гёделя не имеют никакого отношения к конечной математике. Ошибки в понимании могут быть во многих случаях, но трактовать это как научную недобросовестность можно только если абсолютно ясно, что других объяснений нет. Но менталитет рецензента такой, что он даже не допускает, что он сам может чего-то не понимать или ошибаться, и у него нет моральной проблемы в заявлении, что автор показывает научную недобросовестность.
Мои общие замечания о рецензии такие. Я понимаю, что трудно дать рецензию на работу, в которой не являешься специалистом. Так как дискретная и конечная математика действительно не преподается на физических факультетах, то большинство физиков не знакомы даже с самыми основами такой математики. Это не является недостатком т. к. каждый что-то знает и чего-то не знает, и невозможно знать все. Но у некоторых физиков менталитет такой, что если они видят работу, которую они не понимают или которая не соответствует их представлениям, то сразу делают вывод, что это – экзотика и/или патология, которая не имеет отношения к физике.
До сих пор я получал из ЭЧАЯ и Писем в ЭЧАЯ рецензии, в которых замечания были на высоком научном уровне и целью этих замечаний было помочь автору в улучшении статьи. В ответ на эти замечания, статьи обычно перерабатывались и иногда не один раз. Один из рецензентов написал, что хотя он лично не верит в мой результат, но т.к. он не может его опровергнуть, то не возражает против публикации. Это является примером высокой научной порядочности. Однако, ситуация с настоящей рецензией полностью противоположная.
Рецензент дает отзыв на статью, исходящую из конечной математики. Он не знает даже азов этой математики, что сразу следует из его фраз, что я использую натуральный ряд как строительный материал для такой математики и что теоремы Гёделя применимы к конечной математике. Как я отмечал выше, незнание конечной математики не является недостатком. Однако, не имея даже базовых знаний о такой математике, рецензент делает заключение о моих результатах даже не понимая их. Как показано выше, ни одно из его критических замечаний не является правильным. Но главное даже не то, что все они неправильные (ошибаться может каждый), а то, что рецензент не допускает, что он может чего-то не понимать и делает свои заключения в безапелляционном тоне. Кроме того, в добавление к суждениям о научных результатах, рецензент делает еще необоснованные утверждения о моей мотивации. То, что ему кажется моими ошибками он объясняет не научными причинами, а тем, что, якобы, я специально скрываю недостатки своего подхода и что-то лоббирую, т. е. фактически обвиняет меня в научной недобросовестности. Поэтому выводы рецензента считаю необоснованными и прошу редакцию пересмотреть эти выводы.
P. S. Как я отмечал выше, любая критика, даже неправильная, полезна для меня т.к. помогает понять в чем у читателей могут быть проблемы. С учетом замечаний рецензента, статья значительно расширена и, в частности, в ней подробно объяснен фундаментальный (и даже фундаментальнейший) факт, что обычная непрерывная математика является вырожденным частным случаем конечной. Т.к. ЭЧАЯ – обзорный журнал, то думаю, что изложение этого факта в статье оправдано.
Что основное в рецензии? Во-первых, то, что рецензент не знает самых основ конечной математики, но с уверенностью отвергает. А его фраза, что раз я написал, что создатели квантовой теории были квалифицированными физиками, но не использовали конечную математику т.к. даже сейчас она не преподается на физических факультетах, то это попытка реформы образования, прежде всего в России, просто смешная.
Казалось бы, в этом ответе на рецензию все подробно объяснено. Но редакция прислала новый ответ, который не могу воспроизвести т. к. он в русском. pdf файле, который не смог скопировать. Поэтому могу привести только свой ответ на эту рецензию:
Ранее я подробно ответил на первую рецензию. Однако, вторая рецензия еще более отрицательная. Например, она содержит фразы «Полный абсурд!», «Опять абсурд» и другие недипломатические выражения. Кроме того, мой общий уровень Рецензент оценивает весьма низко: например, он пишет «впервые встречаю такого физика» и предполагает, что я забыл математику, которую изучал в студенческие годы. Рецензия заканчивается словами: «Дальнейшее обсуждение данной темы с автором не имеет смысла». Это значит, что свою вторую рецензию Рецензент провозгласил истиной в последней инстанции. В ответе на первую рецензию я отмечал, что Рецензент даже не допускает мысли, что он может ошибаться или что-то не понимать. Конечно, при таком подходе Рецензента обсуждать что-либо не имеет большого смысла. Тем не менее, я должен ответить на те замечания, которые непосредственно касаются статьи. Например, я не буду обсуждать проблему энергии вакуума т. к. уже отмечал, что она не имеет прямого отношения к статье (и к тому же, как обычно, Рецензент даже не пытался понять смысл моих замечаний по этой проблеме). Некоторые замечания Рецензента учтены, а некоторые не учтены. Вначале отмечу те замечания, которые учтены.
• Рецензент пишет, что «В математическом сообществе нет строгого правила, что включать в понятие конечная математика». Мне казалось, что этот вопрос ясен т.к. есть даже учебники с названиями «Конечные поля» или «Кольца Галуа». Теперь некоторые из этих учебников включены в ссылку [1], а в тексте я объясняю этот термин и то как понимаю физику, основанную на конечной математике, которую называю FQT.
• Рецензент пишет, что я не признаю свои ошибки т. к. в предыдущих работах называл p константой, а теперь это параметр связанный со временем. Теперь я отмечаю, что терминология в физике не вполне четкая. Например, величины (c,h,G) называют фундаментальными константами, но нет доказательства, что они одинаковые на протяжении всей истории Вселенной (вопрос о c особый т.к. просто выбирается система единиц, в которой постоянство c постулируется). В предыдущих работах я не обсуждал проблему времени, но в [3] отметил, что p может быть связано со временем.
• В предыдущем варианте статьи я обсуждал две фундаментальные проблемы:
а) Стандартная квантовая теория является частным вырожденным случаем FQT в формальном пределе p??.
б) Даже классическая математика сама по себе является частным вырожденным случаем конечной математики в формальном пределе p??.
В письме в редакцию я писал, что эти проблемы являются даже фундаментальнейшими т.к. они меняют стандартную парадигму о том какая физика и какая математика являются самыми фундаментальными. Я думаю, что доказательство а) и б) было дано на уровне принятом в теоретической физике. Но Рецензент считает, что «Предложенное автором доказательство выполнено на научно-популярном уровне, практически ‘на пальцах’ и базируется на физических аналогиях». До этого Рецензент пишет, что «профессиональный подход к этому вопросу должен опираться на строгую математику, например, в стиле известных книг Бурбаки». Недавно я сделал работу (поместил ее в интернете и послал в математический журнал), в которой дано строгое математическое доказательство утверждений а) и б). При этом, одним из необходимых условий для выполнимости б) является выполнимость а). Учитывая это, слова Рецензента и то, что ЭЧАЯ является обзорным журналом, я включил это доказательство в новый вариант статьи.
Теперь о замечаниях Рецензента, которые не учтены.
• О теоремах Гёделя. В ответе на первую рецензию я пытался объяснить почему утверждения Рецензента о теоремах Гёделя неправильные. Теоремы говорят, что проблемы с обоснованием классической математики возникают из-за того, что эта математика использует весь бесконечный натуральный ряд. В конечной математике нет бесконечных множеств и здесь теоремы Гёделя неприменимы. Я писал, что конечная математика начинается с набора чисел (0,1… p-1) но не называл эти числа натуральными, чтобы не возникло впечатления, что конечная математика начинается со всего натурального ряда. Конечно, числа в этом наборе можно назвать натуральными, но с таким же успехом их можно назвать действительными или комплексными. Однако, Рецензент утверждал, что я использую натуральный ряд как исходный строительный материал, и поэтому теоремы Гёделя относятся к конечной математике тоже. Теперь же Рецензент цитирует второй абзац сверху на стр. 9 и говорит: «Разве отсюда не следует, что эти теоремы относятся и к подходу автора, так как он пользуется натуральными числами при построении кольца R
?» и делает вывод: «Очевидно, автор окончательно запутался с теоремами Гёделя». Т. е. логика Рецензента по-прежнему такая, что раз числа (0,1….p-1) натуральные, то я использую натуральный ряд и поэтому теоремы Гёделя относятся и к конечной математике. Т. е. запутался именно Рецензент т. к. он по-прежнему не понимает, что теоремы Гёделя относятся только к теориям, использующим весь бесконечный натуральный ряд, а в конечной математике не может быть бесконечных множеств по определению.
• О конечной математике в преподавании. Я писал, что основатели квантовой теории не использовали конечную математику и даже сейчас дискретная и конечная математика не входит в стандартное математическое образование на физических факультетах. Рецензент увидел в этой фразе тайный смысл, что якобы, я призываю к реформе математического образования, особенно в России. В ответе на первую рецензию я пытался оправдаться, что никакого тайного смысла в этой фразе нет и что она является просто констатацией фактов. Однако, во второй рецензии Рецензент мои оправдания не принимает и пишет: «И если эта фраза – просто констатация факта, то есть без смысловой нагрузки, то почему автор не удалил ее в ответ на замечание рецензента. Таким образом, мотивация указанная мной, является единственным логическим объяснением данной фразы автора». Конечно, если фраза не несет смысловой нагрузки, то она смысла не имеет. Но она как раз несет очень большую смысловую нагрузку. Как я отмечаю в работе, понятия бесконечно малых/больших, непрерывности и т.д. ввели Ньютон и Лейбниц более 300 лет тому назад. Тогда люди не знали об атомах и элементарных частицах и думали, что любое вещество можно разделить на сколь угодно большое число сколь угодно малых частей. Но теперь мы знаем, что это не так т.к. когда доходим до уровня атомов и элементарных частиц, то дальнейшее деление теряет смысл. В природе нет бесконечно малых и непрерывности. Поэтому указанная фраза объясняет очень странный феномен: хотя уже все знают, что есть элементарные частицы, природа дискретна и в ней нет бесконечно малых, но даже после 90+ лет квантовой теории она основана на непрерывной математике, и до сих пор абсолютное большинство физиков думают, что фундаментальные проблемы квантовой теории надо решать в рамках непрерывной математики.
В подтверждение своей интерпретации Рецензент напоминает мне о том, что я учил в студенческие годы. Он пишет: «Разве линейная алгебра, теория групп, теория представлений групп, методы вычислений, программирование и т.д. не являются основой конечной математики и самой конечной математикой? Все это преподается на физических факультетах. Разве автор не изучал эти предметы в свои студенческие годы? Или он просто забыл это и только поэтому ратует за реформу математического образования?»
Методы вычислений и программирование – это не математика. Поэтому рассмотрим линейную алгебру, теорию групп и представления групп, которые, как я надеюсь, я не забыл. В стандартной линейной алгебре пространства конечномерные, но координаты векторов могут быть любыми действительными или комплексными числами, т. е. они принадлежат бесконечным множествам. Поэтому стандартная линейная алгебра, по определению, не относится к конечной математике. В теории кристаллов рассматриваются конечные группы, но группы, которые изучают в квантовой теории (группа вращений, группа Лоренца, группа Пуанкаре и т.д.) используют бесконечно много действительных чисел, т.е., эти группы являются бесконечными множествами. Представления этих групп рассматриваются в линейных пространствах, в которых координаты векторов также могут быть любыми действительными или комплексными числами. Т. е. эти предметы не входят в конечную математику. В последней линейные пространства могут быть над конечным кольцом или полем. Но этих понятий на физфаках не преподают. Более того, я общался со многими физиками из ИФВЭ, ИТЭФ и ОИЯИ и не заметил, чтобы кто-нибудь из них, кроме М.А. Ольшанецкого (кстати, редакция может спросить его мнение о моей статье) использовал линейные пространства над конечными кольцами или полями.
• О проблеме времени. В ответе на первую рецензию я подробно объяснил, что в классических теориях время считается непрерывным, а в квантовой теории даже нет оператора времени. Но, как отмечено выше, в природе нет непрерывности, непрерывность является идеализацией и никакую величину, которая предполагается непрерывной нельзя измерить с абсолютной точностью. В частности, то, что время строго непрерывно тоже является идеализацией. Поэтому дискретные модели могут давать хорошее экспериментальное описание времени. Никаких возражений Рецензент не привел и поэтому непонятно, понял ли он мои утверждения. Но все равно пишет, что это логическая каша, которую я направляю в ЭЧАЯ. Судя по словам Рецензента, он считает, что раз время – классическое понятие, то, по определению, разрешаются только те подходы, в которых время непрерывно. Никаких физических аргументов в пользу этой догмы Рецензент не приводит, но объявляет неприемлемым то, что в эту догму не укладывается.
• Рецензент пишет, что раз p безразмерно, а я сравниваю с ним физические величины, то это абсурд. Но я подробно объясняю, что в самых фундаментальных физических теориях все величины безразмерны, а размерные параметры (c,h,R) нужны только для перехода от более общих теорий к менее общим. Никаких возражений против этого рецензент не привел.
• В заключение о том, что в менталитете Рецензента для меня неприемлемо, независимо от того что он знает или не знает по конкретным проблемам.
Я действительно считаю, что утверждения а) и б) являются фундаментальнейшими и имеют значение не только для физики, но и для обоснования математики. В предыдущем письме в редакцию я пытался объяснить почему мои попытки убедить математиков пока являются, в целом, безуспешными. Рецензент прав в том, что в математическом сообществе «нет общепринятого деления математики на фундаментальную и нефундаментальную». Мой опыт общения с математиками тоже показывает, что обычно кругозор математика ограничивается тем чем он занимается. В частности, «конечные» математики считают, что у них свои проблемы, у «непрерывных» математиков свои и эти проблемы не пересекаются. Когда я пытался убедить «конечных» математиков в том, что конечная математика более фундаментальная чем непрерывная, то они говорили, что самолеты летают, мосты строят и все это основано на дифуравнениях. Мои попытки объяснить им, что эти дифуравнения идут из классической физики и поэтому являются только приближенными, успеха не имели т. к. они не понимают разницу между классической и квантовой физикой. Но в физическом сообществе хорошо известно какие теории являются более, а какие менее фундаментальными. Однако, Рецензент использовал мои объяснения против меня. Он пишет, что раз мои результаты до сих пор не вызвали интереса в научной среде, то незачем их «раскручивать».
Когда Шрёдингер и Гайзенберг создавали квантовую механику, то ее почти никто не понимал (и многие физики не понимают до сих пор). Если бы вопрос о публикации работ Шрёдингера и Гайзенберга зависел от людей с менталитетом Рецензента, то эти работы никогда бы не были опубликованы. В моем случае ситуация очень простая. Я утверждаю, что даю строгое математическое доказательство утверждений а) и б). В частности, в доказательстве даю определение, какая теория является фундаментальной, а какая является ее частным случаем. Наверное, нет сомнений, что утверждения а) и б) меняют стандартную парадигму о том какая физика и какая математика являются фундаментальными. Поэтому научный подход должен быть не такой сколько человек этим интересуется, а такой: правильное или неправильное мое доказательство. Если кто-то может опровергнуть мое доказательство, то я был бы очень благодарен и сразу бы отозвал свою статью. Рецензент считает, что в моих работах по FQT нет никаких физических результатов и что в них конечная математика показала свою беспомощность в физике. Конечно, он имеет право иметь такое личное мнение. Но уж теперь, если он не может опровергнуть а) и б), то высказывать такое мнение официально по меньшей мере неэтично.
Можно говорить о больших успехах стандартной квантовой теории (и я с этим согласен) или о том, что в этой теории есть проблемы (и с этим я тоже согласен), но если утверждения а) и б) верны, то будущая квантовая теория не может быть основана на непрерывной математике. Рецензент пишет, что мое доказательство должно обсуждаться прежде всего с профессиональными математиками, что для физиков оно представляет лишь академический интерес и поэтому представление статьи в ЭЧАЯ является "не по адресу". Конечно, я буду пытаться убедить математиков тоже, но, как я писал, здесь проблема, что у многих из них менталитет такой же как у Рецензента только с инверсией физика?математика: они видят, что мотивировка идет из физики, которую они не знают, поэтому они не пытаются вникнуть в математическое доказательство а) и б). В то же время, довольно странно, что Рецензент думает, что у всех физиков менталитет такой же как у него, что математические доказательства для них это всего лишь что-то академическое и что им важны только применения.
Надеюсь, что среди физиков есть и такие, которые могут применять какую-то теорию не только веря, что она правильная, но и если они сами в этом убедятся. Исторически, как правило, новые физические теории возникали когда привлекалась математика, которая раньше в физике не применялась. Например, до квантовой теории Гильбертовы пространства не применялись в физике. Наверное, Рецензент не сомневается, что Дирак – великий физик. Приведу его слова, которые, с точки зрения Рецензента, являются полной крамолой: «I learned to distrust all physical concepts as a basis for a theory. Instead one should put one's trust in a mathematical scheme, even if the scheme does not appear at first sight to be connected with physics. One should concentrate on getting an interesting mathematics.» Отмечу также, что ЭЧАЯ публикует много работ, в которых рассматриваются чисто математические проблемы квантовой теории, т. е. предполагается, что есть физики, для которых математика представляет не только академический интерес.
Что мне понравилось в подходе этого рецензента: он не играет в дипломатию, режет правду-матку (как он ее понимает) и не боится, что выяснится, что он чего-то не понимает. Поэтому отвечать на его рецензии легко т.к. ясно, что он утверждает. Например, западные рецензенты обычно намного хитрее. Когда они понимают, что некомпетентны, то стараются так обойти углы, чтобы это не проявилось, поэтому произносят какие-то общие слова и надо думать как ответить, чтобы было ясно, что рецензент без понятия.
После этого ответа получил рецензию второго рецензента:
Review of the article by Felix M. Lev
"Finite mathematics, finite quantum theory and a conjecture on the nature of time"
The author considers an extremely non-standard approach to quantum theory (QT) based on finite ring or field with characteristic p1 (the finite quantum theory (FQT). Author, in particular, shows that the conventional QT is a limiting case of FQT as p1. In the QFT approach, the characteristic $p$ is a fundamental evolving [!] parameter which defines how the classical equations of motions arise as a consequence of changing of p; moreover, p may be (this is an author's conjecture) the “precursor" of notion of time itself (»…the existence of classical time is a consequence of the fact [!?] that p changes»). Well, although our physiology (and/or psychology?) does not provide a chance to understand what is evolution of Universe (or its part) out of time, the reader may believe that the author understand it and then try to follow the formal (finite) mathematics. Nonetheless, if p changes, there must be even more fundamental cause governing this «fact»… but let's stop the metaphysics. Obviously, the very unconventional concepts formulated in the paper under review (as well as in the previous publications by the author (Refs. [1–3]) are highly disputable, but they are nontrivial and thus interesting. So these concepts must be presented to the community at least as a subject of criticism, controversy… or silence. A handicap of the paper (from my personal point of view) is its volume together with too lengthy explanations of comparatively simple and known things and too lapidary discussion of the specific axiomatics and (even more important) implications and (potentially) falsifying effects of the FQT.
1 The article looks like a novel about Cabbages and Kings (in other words, about everything known to the author). I guess that many items could be ejected in order to simplify understanding of the main ideas and results and to classify the ins and outs of the theory; this is not a demand but just a suggestion. In fact I have a lot of questions and even objections against the author's categorical statements, but I would not like to force a further increase in the length of the text. In conclusion, I think that the writeup under review is of interest for the community and thus is suitable for publication.
And yes, «Viennese School's philosophy» still predominates in physics, if we are able to separate postulates and consequences. This philosophy simply suggests to compare the consequences (and not the postulates) with the relevant empirical facts, but it does not demand to test the axioms of mathematics.
Я благодарен рецензенту за эту рецензию, после которой откорректированный вариант статьи был принят и опубликован в [21].
Глава 15. Попытка опубликовать монографию в Springer
15.1. Предложение о монографии
Свой подход к квантовой теории и свои результаты решил изложить в монографии. Мое предложение о монографии, посланное в Springer такое:
Dear Dr. Lahee,
Please consider my monograph proposal. The monograph will be based on my paper https://arxiv.org/abs/1104.4647 which contains 259 pages. Probably the final version will be longer but not considerably. The title of the monograph is:
Finite Quantum Theory and Applications to Gravity and Particle Theory and the abstract is:
We argue that the main reason of crisis in quantum theory is that nature, which is fundamentally discrete and even finite, is described by continuous mathematics. Moreover, the ultimate physical theory cannot be based on continuous mathematics because it has its own foundational problems which cannot be resolved (as follows, in particular, from G?del's incompleteness theorems). In the first part of the work we discuss inconsistencies in standard quantum theory and reformulate the theory such that it can be naturally generalized to a formulation based on finite mathematics. It is shown that: a) as a consequence of inconsistent definition of standard position operator, predictions of the theory contradict the data on observations of stars; b) the cosmological acceleration and gravity can be treated simply as kinematical manifestations of de Sitter symmetry on quantum level (i.e. for describing those phenomena the notions of dark energy, space-time background and gravitational interaction are not needed). In the second part we consider a quantum theory based on finite mathematics with a large characteristic p. In this approach the de Sitter gravitational constant depends on p and disappears in the formal limit p??, i.e. gravity is a consequence of finiteness of nature. The application to particle theory gives that: a) the electric charge and the baryon and lepton quantum numbers can be only approximately conserved (i.e. the notion of a particle and its antiparticle is only approximate); b) particles which in standard theory are treated as neutral (i.e. coinciding with their antiparticles) cannot be elementary. We consider a possibility that only Dirac singletons can be true elementary particles. Finally we discuss a conjecture that classical time t manifests itself as a consequence of the fact that p changes, i.e. p and not t is the true evolution parameter.