-
English
-
Russian
-
English
-
Russian
Arithmetization
UK
/əˌrɪθ.mə.taɪˈzeɪ.ʃən/
US
/əˌrɪθ.mə.təˈzeɪ.ʃən/
Translation arithmetization into russian
arithmetization
Noun
UK
/əˌrɪθ.mə.taɪˈzeɪ.ʃən/
US
/əˌrɪθ.mə.təˈzeɪ.ʃən/
The arithmetization of geometry was a significant development in mathematics.
Арифметизация геометрии была значительным развитием в математике.
Definitions
arithmetization
Noun
UK
/əˌrɪθ.mə.taɪˈzeɪ.ʃən/
US
/əˌrɪθ.mə.təˈzeɪ.ʃən/
The process of converting a mathematical concept or theory into an arithmetic form.
The arithmetization of geometry allows for the application of algebraic methods to solve geometric problems.
Idioms and phrases
arithmetization process
The arithmetization process is crucial in formal logic.
процесс арифметизации
Процесс арифметизации имеет решающее значение в формальной логике.
arithmetization of analysis
The arithmetization of analysis helped in advancing mathematical rigor.
арифметизация анализа
Арифметизация анализа помогла в повышении математической строгости.
arithmetization method
This arithmetization method is used in studying real numbers.
метод арифметизации
Этот метод арифметизации используется в изучении действительных чисел.
arithmetization approach
The arithmetization approach allows us to study complex functions.
подход к арифметизации
Подход к арифметизации позволяет изучать сложные функции.
arithmetization theory
Arithmetization theory underpins many areas of mathematics.
теория арифметизации
Теория арифметизации лежит в основе многих областей математики.
Examples
These conditions are met for natural arithmetization, but it is possible, without altering the algorithmic features of the arithmetization (all functions and predicates remain primitive recursive), to alter it so that the formula expressing the consistency of the system (with respect to the new arithmetization) becomes deducible.
Эти условия выполняются для естественной арифметизации, но можно, не меняя алгорифмич. характеристик арифметизации (все функции и предикаты остаются примитивно рекурсивными), изменить ее так, что формула, выражающая непротиворечивость системы (применительно к новой арифметизации), будет выводима.
The purpose of his arithmetization was to give a secure logical foundation to geometry after the 19th-century developments that discredited geometry and installed arithmetic as the ultimate authority in mathematics.
Цель его арифметизации состояла в том, чтобы дать надежное логическое основание геометрии после разработок девятнадцатого века, которые дискредитировали геометрию и водворили арифметику в качестве конечного авторитета в математике.
The leading role of German mathematics in world science in the second half of the 19th century was determined first of all by a review of the basic concepts of mathematical analysis, with the goal of giving it a more rigorous grounding (“arithmetization of analysis”).
Ведущая роль немецкой математики в мировой науке 2-й половине 19 в. определялась в первую очередь пересмотром основных понятий математического анализа с целью более строгого его обоснования («арифметизация анализа»).
By refuting the Pythagorean arithmetization of geometry, it gave rise to the specific deductive-geometrical methods which we know from Euclid.
Опровержение пифагорейской арифметизации геометрии привело к появлению особых дедуктивно-геометрических методов, известных нам по трудам Евклида.
Hilbert took Wallis’s arithmetization to its logical conclusion by assuming only the real numbers and sets as given and constructing Euclidean geometry from them.
Гильберт довел арифметизацию Валлиса до логического завершения, допустив в качестве данных только действительные числа и множества и построив из них евклидову геометрию.