-
Английский
-
Русский
-
Английский
-
Русский
Metamathematical
UK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/
Перевод metamathematical на русский язык
metamathematical
Прилагательное
UK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/
The metamathematical study of formal systems is crucial for understanding their limitations.
Метаматематическое изучение формальных систем важно для понимания их ограничений.
Опеределения
metamathematical
Прилагательное
UK
/ˌmɛtəˌmæθəˈmætɪkəl/
US
/ˌmɛtəˌmæθəˈmætɪkəl/
Relating to the study of the foundations and methods of mathematics itself, rather than the application of mathematics to other fields.
The metamathematical analysis revealed inconsistencies in the logical framework of the theorem.
Идиомы и фразы
metamathematical discussion
The conference included a metamathematical discussion about the limits of formal systems.
метаматематическое обсуждение
На конференции состоялось метаматематическое обсуждение пределов формальных систем.
metamathematical principles
She explained the metamathematical principles that govern proof theory.
метаматематические принципы
Она объяснила метаматематические принципы, управляющие теорией доказательств.
metamathematical perspective
Analyzing Gödel's theorem from a metamathematical perspective reveals its broader implications.
метаматематическая точка зрения
Анализ теоремы Гёделя с метаматематической точки зрения показывает её более широкое значение.
metamathematical approach
A metamathematical approach can clarify certain paradoxes in logic.
метаматематический подход
Метаматематический подход может прояснить некоторые парадоксы в логике.
metamathematical property
The consistency of the system is a key metamathematical property.
метаматематическое свойство
Согласованность системы — это ключевое метаматематическое свойство.
Примеры
Thus, for example, all metamathematical results can be interpreted as results of number theory.
Так, например, все метаматематические результаты можно интерпретировать как результаты теории чисел.
We already possess a sense of interesting metamathematical results gained with the help of the theory of truth.
У нас уже имеется целый ряд интересных метаматематических результатов, полученных с помощью теории истины.
At the same time there are problems which fall outside the range of metamathematical abstractions.
Вместе с тем имеются задачи, которые выпадают из рамок метаматематической абстракции.