Логіко-аналітична реконструкція становлення математичної парадигми (на прикладі створення неевклідових геометрій)

Abstract

У статті на прикладі створення та обґрунтування неевклідових геометрій як фундаментального відкриття проводиться логіко-аналітична реконструкція становлення математичної парадигми. Показано, що неевклідовим геометріям притаманні усі суттєві ознаки фундаментального відкриття. Неевклідові геометрії слугують розв’язком фундаментальної проблеми обґрунтування математичного знання. Відкриття та компоненти створення неевклідових геометрій як фундаментальної проблеми підготовлені історичним розвитком математичних знань. Доведено, що ідеї неевклідових геометричних систем виникають на підставі суто логічних розмірковувань про природу п’ятого постудату Евкліда. Існування неевклідових геометрій як коректно побудованих систем з точки зору логіки доводить, що наші інтуїтивні уявлення про простір R3 не є суто логічною необхідністю.

In the article on the creation and study non-Euclidean geometries as a fundamental discovery there is made a logical and analytical reconstruction of the formation of a mathematical paradigm. It is shown that non-Euclidean geometries are inherent in all essential features of a fundamental discovery. First, non-Euclidean geometries as any fundamental discoveries serve as a solution of the fundamental problem of mathematical knowledge. Fundamental discoveries are ideological in nature, requiring separation of qualitatively new principles on which they are based. It is shown that Euclidean geometry has been a perfect geometric system since the works of ancient Greek geometers to the early nineteenth century. combining the real and the ideal features and having axioms consistent with the empirical experience and «common sense». The problem of the fifth postulate of Euclid, which was waiting for its solution for two thousand years becomes a fundamental problem in mathematics on the background of blurring of core mathematical concepts, especially «infinitely small value», «number», «probability», uncertainty of important mathematical operations as «differentiation», «integration», «adding numerical series» and so on. Second, discovery and components of non-Euclidean geometries as a fundamental problem are prepared by historical development of mathematical knowledge. For two thousand years there has been made mathematicians’ attempts to clarify the nature or prove the fifth postulate of Euclid. Theoretical aspects of the idea of creating of geometries other than Euclidean geometries are found in works of Kant, John. Sakkeri and others. All of them are inherent in a problem of interpretation of Euclid’s fifth postulate as a non-fundamental one, making it impossible for an adequate interpretation of the results. Awareness of the fundamental problem of the fifth postulate of Euclid is the key to its solution. It is proved that the ideas of non-Euclidean geometry systems arise from purely logical speculation about the nature of the axioms of Euclid. The existence of non-Euclidean geometries aslogically and correctly constructed systems prove that our intuitive understanding of space is not a purely logical necessity.