Английский
Русский
Германский
Французский
Итальянский
Греческий

Английский
Русский
Германский
Французский
Итальянский
Греческий

Arithmetize

Перевод слова "arithmetize" на Русский язык

arithmetize

Глагол

/əˈrɪθ.mə.taɪz/

arithmetized Прошедшее простое время

arithmetized Причастие прошедшего времени

arithmetizing Герундий

арифметизировать

The mathematician decided to arithmetize the problem to find a solution.

Математик решил арифметизировать задачу, чтобы найти решение.

Опеределения

arithmetize

Глагол

/əˈrɪθ.mə.taɪz/

To convert a mathematical concept or expression into an arithmetic form.

The teacher asked the students to arithmetize the algebraic equation to make it easier to solve.

In mathematical logic, to encode formal expressions and proofs as natural numbers so that they can be manipulated within arithmetic.

Gödel arithmetized the language of first-order logic in his incompleteness proof.

Идиомы и фразы

arithmetize a theory

Mathematicians often arithmetize a theory to increase its rigor.

арифметизировать теорию

Математики часто арифметизируют теорию для повышения её строгости.

arithmetize a formula

It is possible to arithmetize a formula to facilitate its analysis.

арифметизировать формулу

Можно арифметизировать формулу для упрощения её анализа.

arithmetize (someone's) logic

Researchers attempted to arithmetize Gödel's logic.

арифметизировать логику (кого-либо)

Исследователи попытались арифметизировать логику Гёделя.

arithmetize statements

To use Gödel numbering, one must first arithmetize statements.

арифметизировать утверждения

Для использования нумерации Гёделя сначала нужно арифметизировать утверждения.

arithmetize proofs

We arithmetize proofs to formalize them within arithmetic.

арифметизировать доказательства

Мы арифметизируем доказательства, чтобы формализовать их в рамках арифметики.

arithmetize geometry

In the nineteenth century, mathematicians tried to arithmetize geometry by replacing intuition with numerical methods.

арифметизировать геометрию

В девятнадцатом веке математики пытались арифметизировать геометрию, заменяя интуицию численными методами.

arithmetize mathematics

The program aimed to arithmetize mathematics and make its foundations more rigorous.

арифметизировать математику

Программа стремилась арифметизировать математику и сделать её основы более строгими.

arithmetize analysis

Weierstrass helped arithmetize analysis through precise definitions and proofs.

арифметизировать анализ

Вейерштрасс помог арифметизировать анализ посредством точных определений и доказательств.

arithmetize the continuum

Set theory was used to arithmetize the continuum in a more formal way.

арифметизировать континуум

Теория множеств была использована, чтобы более формально арифметизировать континуум.

arithmetize number theory

The article describes attempts to arithmetize number theory in the modern foundational tradition.

арифметизировать теорию чисел

В статье описываются попытки ариметизировать теорию чисел в современной фундаментальной традиции.

arithmetize set theory

Researchers discussed how to arithmetize set theory using formal systems.

арифметизировать теорию множеств

Исследователи обсудили, как арифметизировать теорию множеств с помощью формальных систем.

arithmetize algebra

The course showed how algebra can be arithmetized in certain foundational approaches.

арифметизировать алгебру

Курс показал, как алгебру можно арифметизировать в некоторых фундаментальных подходах.

arithmetize concepts

The philosopher tried to arithmetize abstract concepts from mathematics and logic.

арифметизировать понятия

Философ пытался арифметизировать абстрактные понятия из математики и логики.

arithmetize a notion

The paper attempts to arithmetize the notion of limit in a new framework.

арифметизировать понятие

В статье предпринимается попытка арифметизировать понятие предела в новом подходе.

arithmetize reasoning

Formal logic can arithmetize reasoning about mathematical statements.

арифметизировать рассуждения

Формальная логика может арифметизировать рассуждения о математических утверждениях.