Д. С. Клещёв Пифагоровы аксиомы арифметики: исторические корни 2-й проблемы Д. Гильберта

Аннотация: статье рассматривается античная теорема несоизмеримости стороны и диагонали квадрата, особое внимание обращается на аксиому неделимости единицы (μονάς), выполняющую ключевую роль в древних пифагорейских доказательствах теории несоизмеримых отрезков. Последующее развитие данной теории привело к формированию теории иррациональных чисел и теории бесконечных множеств Г. Кантора. Однако в современной математике используются непрерывные десятичные дроби, которые не применялись в пифагорейской арифметике. Операция бесконечного деления единицы, благодаря которой были введены в употребление непрерывные десятичные дроби, противоречит аксиоме неделимости единицы. Следовательно, в основаниях стандартной математики, которая признает корректность пифагорейской теории несоизмеримости, содержится аксиоматическое противоречие, которое привело к трем кризисам в основаниях математической науки: античному, связанному с открытием несоизмеримых отрезков; новоевропейскому, связанному с применением бесконечно малых величии; современному, выход из которого, как доказал К. Гёдель, невозможен в рамках стандартной математики.

Ключевые слова:

Abstract: the article deals with an ancient theorem of the incommensurability of side and diagonal of a square, particular attention is drawn to the axiom of the indivisibility of units (μονάς), that plays a key role in the ancient Pythagorean theory of evidence of disparate segments. Subsequent development of this theory led to the formation of the theory of irrational numbers and the theory of infinite sets of Cantor. However, in modern mathematics the continuous decimal fractions are used, which were not used in Pythagorean arithmetic. The operation of the infinite division of a unit, through which the continuous use of decimal fractions was introduced, is contrary to the axiom of indivisible units. Consequently, there is an axiomatic contradiction in the grounds of the standard of mathematics, which recognizes the validity of the Pythagorean theory of incommensurability, which led to three crises in the foundations of mathematics: ancient, associated with the discovery of incommensurable line segments, the new European associated with infinitesimal greatness, modern, getting out of which, as proved by Godel, is impossible within the framework of the standard mathematics.

Keywords: